Searching for authors named Maciej Koutny – sorted by Relevance.
-
A Model of Behaviour Abstraction for Communicating Processes
- A Model of Behaviour Abstraction for Communicating Processes Maciej Koutny 1 and Giuseppe
- Add To MetaCart
-
Operational and Denotational Semantics for the Box Algebra
- Operational and Denotational Semantics for the Box Algebra Maciej Koutny and Eike Best y
- Cited by 4 (0 self) – Add To MetaCart
-
A Refined View of the Box Algebra
- A Refined View of the Box Algebra Eike Best # and Maciej Koutny ## Abstract. This paper
- Cited by 4 (3 self) – Add To MetaCart
-
Solving Recursive Net Equations
- Solving Recursive Net Equations Eike Best # and Maciej Koutny ## Abstract. This paper describes
- Cited by 5 (5 self) – Add To MetaCart
-
M.: Transition systems of elementary net systems with localities
- Net Systems with Localities Maciej Koutny, Marta Pietkiewicz-Koutny Abstract In this paper, we
- Cited by 1 (1 self) – Add To MetaCart
-
Towards An Efficient Algorithm for Unfolding Petri Nets
- ���Towards An Efficient Algorithm for Unfolding Petri Nets Victor Khomenko and Maciej Koutny
- Cited by 9 (4 self) – Add To MetaCart
-
Branching processes of high-level petri nets
- Branching Processes of High-Level Petri Nets Victor Khomenko and Maciej Koutny School of Computing
- Cited by 9 (0 self) – Add To MetaCart
-
LP Deadlock Checking Using Partial Order Dependencies
- ���LP Deadlock Checking Using Partial Order Dependencies Victor Khomenko and Maciej Koutny Department
- Cited by 11 (6 self) – Add To MetaCart
-
Synchrony and asynchrony in membrane systems
- ���Synchrony and Asynchrony in Membrane Systems Jetty Kleijn 1 and Maciej Koutny 2 1 LIACS, Leiden
- Cited by 4 (1 self) – Add To MetaCart
-
Processes of Membrane Systems with Promoters and Inhibitors
- Systems with Promoters and Inhibitors Jetty Kleijn and Maciej Koutny TECHNICAL REPORT SERIES No. CS-TR-986
- Cited by 1 (1 self) – Add To MetaCart

