M
Maciej Koutny
Researcher at Newcastle University
Publications - 327
Citations - 5356
Maciej Koutny is an academic researcher from Newcastle University. The author has contributed to research in topics: Petri net & Concurrency. The author has an hindex of 35, co-authored 321 publications receiving 5080 citations. Previous affiliations of Maciej Koutny include Warsaw University of Technology & National Chemical Laboratory.
Papers
More filters
Journal ArticleDOI
Opacity generalised to transition systems
TL;DR: In this article, the authors extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow, such as anonymity and non-inference.
Journal ArticleDOI
Semantics of inhibitor nets
Ryszard Janicki,Maciej Koutny +1 more
TL;DR: An abstract semantics of concurrent systems generalising causal partial orders generalising Mazurkiewicz traces is discussed and stratified order structures can provide an abstract semantics which is consistent with their operational semantics expressed in terms of step sequences.
Opacity Generalised to Transition Systems
TL;DR: In this article, the authors extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow, such as anonymity and non-inference.
Book
Petri net algebra
TL;DR: This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems and takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory.
Book ChapterDOI
Opacity generalised to transition systems
TL;DR: The notion of opacity is extended to the model of labelled transition systems and generalised in order to better represent concepts from the literature on information flow, and links between opacity and the information flow concepts of anonymity and non-inference are established.