5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.FL2024
Quasi-stratified Order Semantics of Concurrency
Maciej Koutny, Lukasz Mikulski
In the development of operational semantics of concurrent systems, a key decision concerns the adoption of a suitable notion of execution model, which basically amounts to choosing…
cs.DC2024
Structured Acyclic Nets
Mohammed Alahmadi, Salma Alharbi, Talal Alharbi +6
The concept of structured occurrence nets is an extension of that of occurrence nets which are directed acyclic graphs that represent causality and concurrency information concerni…
cs.CR2014★ 5 cited
A Flow Sensitive Security Model for Cloud Computing Systems
Wen Zeng, Chunyan Mu, Maciej Koutny +1
The extent and importance of cloud computing is rapidly increasing due to the ever increasing demand for internet services and communications. Instead of building individual inform…