default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaciej Koutny
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j92]Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek:
Reaction mining for reaction systems. Nat. Comput. 23(2): 323-343 (2024)- [c114]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesising ENI-Systems with Interval Order Semantics. PNSE@Petri Nets 2024: 33-52 - [c113]Ryszard Janicki
, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets 2024: 153-174 - [i5]Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell:
Structured Acyclic Nets. CoRR abs/2401.07308 (2024) - [i4]Maciej Koutny, Lukasz Mikulski:
Quasi-stratified Order Semantics of Concurrency. CoRR abs/2407.13406 (2024) - 2023
- [j91]Anirban Bhattacharyya, Maciej Koutny:
Confusion-Tolerant Computation of Probability in Acyclic Nets. Trans. Petri Nets Other Model. Concurr. 17: 212-245 (2023) - [c112]Ryszard Janicki, Maciej Koutny, Lukasz Mikulski:
Interval Traces with Mutex Relation. Petri Nets 2023: 145-166 - [c111]Marta Pietkiewicz-Koutny, Maciej Koutny:
Synthesising Elementary Net Systems with Interval Order Semantics. ATAED/PN4TT@Petri Nets 2023 - [e17]Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo:
Transactions on Petri Nets and Other Models of Concurrency XVII. Lecture Notes in Computer Science 14150, Springer 2023, ISBN 978-3-662-68190-9 [contents] - 2022
- [b2]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View. Studies in Computational Intelligence 1020, Springer 2022, ISBN 978-3-662-64819-3, pp. 1-317 - [j90]Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesising elementary net systems with localities. Theor. Comput. Sci. 908: 123-140 (2022) - [c110]Victor Khomenko, Maciej Koutny, Alex Yakovlev:
Avoiding Exponential Explosion in Petri Net Models of Control Flows. Petri Nets 2022: 261-277 - [c109]Victor Khomenko, Maciej Koutny, Alex Yakovlev:
Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. CONCUR 2022: 8:1-8:16 - [e16]Maciej Koutny, Fabrice Kordon, Daniel Moldt:
Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science 13220, Springer Berlin Heidelberg 2022, ISBN 978-3-662-65303-6 [contents] - 2021
- [j89]Bin Qian, Jie Su, Zhenyu Wen, Devki Nandan Jha, Yinhao Li, Yu Guan, Deepak Puthal, Philip James, Renyu Yang, Albert Y. Zomaya, Omer F. Rana, Lizhe Wang, Maciej Koutny, Rajiv Ranjan:
Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey. ACM Comput. Surv. 53(4): 82:1-82:47 (2021) - [j88]David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae 183(1-2): 67-96 (2021) - [j87]Wen Zeng, Maciej Koutny:
Quantitative Analysis of Opacity in Cloud Computing Systems. IEEE Trans. Cloud Comput. 9(3): 1210-1219 (2021) - [j86]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862: 174-192 (2021) - [j85]Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev:
Asynchrony and persistence in reaction systems. Theor. Comput. Sci. 881: 97-110 (2021) - [c108]Nadiyah Almutairi, Maciej Koutny:
Verification of Communication Structured Acyclic Nets Using SAT. PNSE@Petri Nets 2021: 175-194 - [e15]Maciej Koutny, Fabrice Kordon, Lucia Pomello:
Transactions on Petri Nets and Other Models of Concurrency XV. Lecture Notes in Computer Science 12530, Springer 2021, ISBN 978-3-662-63078-5 [contents] - [i3]David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. CoRR abs/2110.10535 (2021) - 2020
- [j84]Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Reaction Systems and Enabling Equivalence. Fundam. Informaticae 171(1-4): 261-277 (2020) - [j83]Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg:
Preface. Fundam. Informaticae 175(1-4) (2020) - [j82]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Plug-in context providers for reaction systems. Theor. Comput. Sci. 834: 26-42 (2020)
2010 – 2019
- 2019
- [j81]Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski:
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167(4): 323-354 (2019) - [j80]Ryszard Janicki, Maciej Koutny:
Operational Semantics, Interval Orders and Sequences of Antichains. Fundam. Informaticae 169(1-2): 31-55 (2019) - [j79]Wen Zeng, Maciej Koutny:
Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies. J. Inf. Secur. Appl. 49 (2019) - [j78]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104: 297-322 (2019) - [c107]Talal Alharbi, Maciej Koutny:
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). PNSE@Petri Nets/ACSD 2019: 93-108 - [c106]David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Reversing Steps in Petri Nets. Petri Nets 2019: 171-191 - [c105]Devki Nandan Jha, Zhenyu Wen, Yinhao Li, Michael Nee, Maciej Koutny, Rajiv Ranjan:
A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications. WISE 2019: 407-423 - [p5]Maciej Koutny:
Petri Nets and Petri's Nets: A Personal Perspective. Carl Adam Petri: Ideas, Personality, Impact 2019: 93-95 - [e14]Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6 [contents] - 2018
- [j77]Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski:
Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae 157(4): 341-357 (2018) - [j76]Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski:
Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151: 48-60 (2018) - [c104]Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny:
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ACSD 2018: 70-74 - [c103]Talal Alharbi, Maciej Koutny:
Visualising Data Sets in Structured Occurrence Nets. PNSE@Petri Nets/ACSD 2018: 121-132 - [c102]David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets 2018: 207-226 - [c101]Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg:
Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes 2018: 63-84 - [c100]Artur Meski, Maciej Koutny, Wojciech Penczek:
Reaction Mining for Reaction Systems. UCNC 2018: 131-144 - [e13]Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture Notes in Computer Science 11090, Springer 2018, ISBN 978-3-662-58380-7 [contents] - 2017
- [j75]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. Sci. Ann. Comput. Sci. 27(2): 177-212 (2017) - [j74]Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu:
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153(1-2): v-vi (2017) - [j73]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154(1-4): 207-224 (2017) - [j72]Artur Meski, Maciej Koutny, Wojciech Penczek:
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154(1-4): 289-306 (2017) - [j71]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Invariant Structures and Dependence Relations. Fundam. Informaticae 155(1-2): 1-29 (2017) - [j70]Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny:
An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. 394: 299-314 (2017) - [j69]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Applying regions. Theor. Comput. Sci. 658: 205-215 (2017) - [j68]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Evolving reaction systems. Theor. Comput. Sci. 682: 79-99 (2017) - [j67]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Signal set tissue systems and overlapping localities. Theor. Comput. Sci. 701: 132-145 (2017) - [c99]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD 2017: 76-88 - [e12]Maciej Koutny, Jetty Kleijn, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science 10470, Springer 2017, ISBN 978-3-662-55861-4 [contents] - 2016
- [j66]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Step traces. Acta Informatica 53(1): 35-65 (2016) - [j65]Wen Zeng, Maciej Koutny, Paul Watson, Vasileios Germanos:
Formal verification of secure information flow in cloud computing. J. Inf. Secur. Appl. 27-28: 103-116 (2016) - [j64]Laura M. F. Bertens, Jetty Kleijn, Sander C. Hille, Monika Heiner, Maciej Koutny, Fons J. Verbeek:
Modeling biological gradient formation: combining partial differential equations and Petri nets. Nat. Comput. 15(4): 665-675 (2016) - [c98]Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski:
From Petri Nets with Shared Variables to ITL. ACSD 2016: 11-18 - [c97]Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev:
Reversing Transitions in Bounded Petri Nets. CS&P 2016: 74-85 - [c96]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Petri Nets with Whole-Place Operations and Localities. ICTAC 2016: 103-120 - [c95]Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski:
Reversible Computation vs. Reversibility in Petri Nets. RC 2016: 105-118 - [c94]Artur Meski, Maciej Koutny, Wojciech Penczek:
Towards Quantitative Verification of Reaction Systems. UCNC 2016: 142-154 - [e11]Maciej Koutny, Jörg Desel, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency XI. Lecture Notes in Computer Science 9930, Springer 2016, ISBN 978-3-662-53400-7 [contents] - 2015
- [j63]Gabriel Ciobanu, Maciej Koutny:
PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Comput. J. 58(5): 1041-1060 (2015) - [j62]Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27(3): 525-549 (2015) - [j61]Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev:
Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae 137(1): 143-170 (2015) - [j60]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Characterising Concurrent Histories. Fundam. Informaticae 139(1): 21-42 (2015) - [c93]Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon:
Non-atomic Transition Firing in Contextual Nets. Petri Nets 2015: 117-136 - [c92]Bowen Li, Maciej Koutny:
Unfolding CSPT-nets. PNSE @ Petri Nets 2015: 207-226 - [c91]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Order Structures for Subclasses of Generalised Traces. LATA 2015: 689-700 - [c90]Wen Zeng, Maciej Koutny, Paul Watson:
Opacity in Internet of Things with Cloud Computing (Short Paper). SOCA 2015: 201-207 - [e10]Maciej Koutny, Jörg Desel, Serge Haddad:
Transactions on Petri Nets and Other Models of Concurrency X. Lecture Notes in Computer Science 9410, Springer 2015, ISBN 978-3-662-48649-8 [contents] - 2014
- [j59]Lukasz Mikulski, Maciej Koutny:
Folded Hasse diagrams of combined traces. Inf. Process. Lett. 114(4): 208-216 (2014) - [j58]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Tissue Systems and Petri Net Synthesis. Trans. Petri Nets Other Model. Concurr. 9: 124-146 (2014) - [c89]Wen Zeng, Maciej Koutny, Aad P. A. van Moorsel:
Performance Modelling and Evaluation of Enterprise Information Security Technologies. CIT 2014: 504-511 - [c88]Wen Zeng, Maciej Koutny, Paul Watson:
Verifying Secure Information Flow in Federated Clouds. CloudCom 2014: 78-85 - [c87]Hanna Klaudel, Maciej Koutny, Zhenhua Duan:
Interval Temporal Logic Semantics of Box Algebra. LATA 2014: 441-452 - [c86]Wen Zeng, Maciej Koutny:
Data Resources in Dynamic Environments. TASE 2014: 185-192 - [e9]Maciej Koutny, Serge Haddad, Alex Yakovlev:
Transactions on Petri Nets and Other Models of Concurrency IX. Lecture Notes in Computer Science 8910, Springer 2014, ISBN 978-3-662-45729-0 [contents] - [i2]Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson:
A Flow Sensitive Security Model for Cloud Computing Systems. CoRR abs/1404.7760 (2014) - 2013
- [j57]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Step semantics of boolean nets. Acta Informatica 50(1): 15-39 (2013) - [j56]Jetty Kleijn, Maciej Koutny:
Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Informaticae 122(1-2): 119-146 (2013) - [j55]Zhenhua Duan, Hanna Klaudel, Maciej Koutny:
ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. 82(2): 95-110 (2013) - [j54]Zhenhua Duan, Nan Zhang, Maciej Koutny:
A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497: 84-107 (2013) - [j53]Jetty Kleijn, Maciej Koutny:
Causality in Extensions of Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 225-254 (2013) - [c85]Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev:
Step Persistence in the Design of GALS Systems. Petri Nets 2013: 190-209 - [c84]Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny:
A Taxonomy of Persistent and Nonviolent Steps. Petri Nets 2013: 210-229 - [c83]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Causal Structures for General Concurrent Behaviours. CS&P 2013: 193-205 - [c82]Wen Zeng, Kaiyu Liu, Maciej Koutny:
Cost-benefit analysis of digital rights management products using stochastic models. SpringSim (ANSS) 2013: 1 - [e8]Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf:
Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3 [contents] - [e7]Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev:
Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science 8100, Springer 2013, ISBN 978-3-642-40464-1 [contents] - 2012
- [j52]Jetty Kleijn, Maciej Koutny:
Step coverability algorithms for communicating systems. Sci. Comput. Program. 77(7-8): 955-967 (2012) - [j51]Jetty Kleijn, Maciej Koutny:
Localities in systems with a/sync communication. Theor. Comput. Sci. 429: 185-192 (2012) - [j50]Gabriel Ciobanu, Maciej Koutny:
Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena). Theor. Comput. Sci. 431: 2-3 (2012) - [j49]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Regions of Petri nets with a/sync connections. Theor. Comput. Sci. 454: 189-198 (2012) - [j48]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Minimal Reaction Systems. Trans. Comp. Sys. Biology 14: 102-122 (2012) - [j47]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis Problem for Petri Nets with Localities. Trans. Petri Nets Other Model. Concurr. 5: 160-180 (2012) - [c81]Lukasz Mikulski, Maciej Koutny:
Hasse Diagrams of Combined Traces. ACSD 2012: 92-101 - [c80]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Relevance of Entities in Reaction Systems. Languages Alive 2012: 44-55 - [c79]Bogdan Aman, Gabriel Ciobanu, Maciej Koutny:
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66 - [c78]Paolo Missier, Brian Randell, Maciej Koutny:
Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197 - [c77]Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
A Timed Mobility Semantics Based on Rewriting Strategies. SEFM 2012: 141-155 - [c76]Jeremy W. Bryans, Maciej Koutny, Chunyan Mu:
Towards Quantitative Analysis of Opacity. TGC 2012: 145-163 - [c75]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Membrane Systems and Petri Net Synthesis. MeCBIC 2012: 1-13 - [e6]Maciej Koutny, Irek Ulidowski:
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, ISBN 978-3-642-32939-5 [contents] - 2011
- [j46]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Petri Nets for Biologically Motivated Computing. Sci. Ann. Comput. Sci. 21(2): 199-225 (2011) - [j45]Jetty Kleijn, Maciej Koutny:
Membrane Systems with Qualitative Evolution Rules. Fundam. Informaticae 110(1-4): 217-230 (2011) - [j44]Gabriel Ciobanu, Maciej Koutny:
Timed Mobility in process algebra and Petri nets. J. Log. Algebraic Methods Program. 80(7): 377-391 (2011) - [c74]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Classifying Boolean Nets for Region-based Synthesis. ART @ Petri Nets 2011: 5-21 - [c73]Jetty Kleijn, Maciej Koutny:
The Mutex Paradigm of Concurrency. Petri Nets 2011: 228-247 - [c72]Jetty Kleijn, Maciej Koutny:
Causality in Structured Occurrence Nets. Dependable and Historic Computing 2011: 283-297 - [c71]Gabriel Ciobanu, Maciej Koutny:
Timed Migration and Interaction with Access Permissions. FM 2011: 293-307 - [i1]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Petri Nets and Bio-Modelling - and how to benefit from their synergy. CoRR abs/1108.3422 (2011) - 2010
- [j43]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20: 131-157 (2010) - [j42]Maciej Koutny, Marta Pietkiewicz-Koutny:
Minimal Regions of ENL-Transition Systems. Fundam. Informaticae 101(1-2): 45-58 (2010) - [c70]Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek:
Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops 2010: 39-53 - [c69]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops 2010: 161-174 - [c68]Jetty Kleijn, Maciej Koutny:
Petri Nets with Localities and Testing. Petri Nets 2010: 19-38 - [p4]Ryszard Janicki, Jetty Kleijn, Maciej Koutny:
Quotient Monoids and Concurrent Behaviours. Scientific Applications of Language Methods 2010: 313-385 - [e5]