Past research topics and papers published before 2000

Causal process semantics of concurrent systems

Semantics of Inhibitor Nets, Janicki, R. and Koutny, M., Information and Computation, Volume 123, Issue 1, pp 1-16, Academic Press, ISSN: 0890-5401, 1995

Deriving Histories of Nets with Priority Relation, Janicki, R. and Koutny, M., In 6th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE '94), Halatsis, C., Maritsas, D., Philokyprou, G. and Theodoridis, S. (eds.) Lecture Notes in Computer Science, Volume 817, pp 623-634, Springer-Verlag 1994

Concurrency models: unification of Petri nets and process algebras

Fundamental Study: Operational and Denotational Semantics for the Box Algebra, Koutny, M. and Best, E., Theoretical Computer Science, Volume 211, Issue 1-2, pp 1-83, Elsevier Science Publishers BV, ISSN: 0304-3975, 1999

The Box Algebra - A Model of Nets and Process Expressions, Best, E., Devillers, R. and Koutny, M., In 20th Conference on Application and Theory of Petri Nets (ICATPN '99), Donatelli, S. and Kleijn, H.C.M. (eds.) Lecture Notes in Computer Science, Volume 1639, pp 344-363, Springer-Verlag 1999

An Axiomatisation of Duplication Equivalence in the Petri Box Calculus, Hesketh, M. and Koutny, M., In 19th International Conference on Application and Theory of Petri Nets (ICATPN '98), Desel, J. and Silva, M. (eds.) Lecture Notes in Computer Science, Volume 1420, pp 165-184, Springer-Verlag 1998

Petri Nets, Process Algebras and Concurrent Programming Languages Best, E., Devillers, R., and Koutny, M., In: Lectures on Petri Nets II: Applications, Advances in Petri Nets, Reisig, W. and Rozenberg, G. (eds.) pp 1-84, Series: Lecture Notes in Computer Science, Volume 1492, Springer-Verlag, ISBN: 3-540-65307-4, 1998

Recursive Nets in the Box Algebra, Devillers, R. and Koutny, M., In 1st International Conference on Application of Concurrency to System Design (CSD '98), pp 239-249, IEEE Computer Society Press 1998

A Refined View of the Box Algebra, Best, E. and Koutny, M., In 16th International Conference on Application and Theory of Petri Nets (APN 1995), De Michelis, G. and Diaz, M. (eds.) Lecture Notes in Computer Science, Volume 935, pp 1-20, Springer-Verlag 1995

Solving Recursive Net Equations, Best, E. and Koutny, M., In 22nd International Colloquium on Automata, Languages and Programming (ICALP '95), Fulop, Z. and Gecseg, F. (eds.) Lecture Notes in Computer Science, Volume 944, pp 605-623, Springer-Verlag 1995

On Compositionality and Petri Nets in Protocol Engineering, Anisimov, N. and Koutny, M., In 15th IFIP TC 6 WG 6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV '95), Dembiniski, P. and Sredniawa, M. (eds.) IFIP Conference Proceedings, Volume 38, pp 71-86, Chapman & Hall 1995

Partial Order Semantics of Box Expressions, Koutny, M., In 15th International Conference on Application and Theory of Petri Nets (APN 1994), Valette, R. (ed) Lecture Notes in Computer Science, Volume 815, pp 318-337, Springer-Verlag 1994

Operational Semantics for the Petri Box Calculus, Koutny, M., Esparza, J. and Best, E., In 5th International Conference on Concurrency Theory (CONCUR '94), Jonsson, B. and Parrow, J. (eds.) Lecture Notes in Computer Science, Volume 836, pp 210-225, Springer-Verlag 1994

Framed temporal logic programming

Projection in Temporal Logic Programming, Duan, Z., Koutny, M. and Holt, C.M., In 5th International Conference on Logic Programming and Automated Reasoning, Pfenning, F., pp 333-344, Springer-Verlag 1994

Deadlock-avoidance in concurrent systems

The Merlin-Randell Problem of Train Journeys, Koutny, M., Acta Informatica, Volume 23, Issue 4, pp 429-463, Springer-Verlag, ISSN: 0001-5903, 1986

Invariants and structures in concurrency semantics

Fundamentals of Modelling Concurrency Using Discrete Relational Structures, Janicki, R. and Koutny, M., Acta Informatica, Volume 34, Issue 5, pp 367-388, Springer-Verlag, ISSN: 0001-5903, 1997

Representations of Discrete Interval Orders and Semi-Orders, Janicki, R. and Koutny, M., Journal of Information Processing and Cybernetics EIK, Volume 30, Issue 3, pp 161-168, Akademie-Verlag GmbH, ISSN: 0863-0593, 1994

Structure of Concurrency, Janicki, R. and Koutny, M., Theoretical Computer Science, Volume 112, Issue 1, pp 5-52, Elsevier Science Publishers BV, ISSN: 0304-3975, 1993

Invariants and Paradigms of Concurrency Theory, Janicki, R. and Koutny, M., Future Generation Computer Systems: Papers from the Workshop on Parallel and distributed workstation systems, Florence, Italy, Sep. 1991, Volume 8, Issue 1-3, pp 423-435, Elsevier Science Publishers BV, ISSN: 0167-739X, 1992

Order Structures and Generalisations of Szpilrajn's Theorem, Janicki, R. and Koutny, M., In 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '93), Shyamasundar, R.K. (ed) Lecture Notes in Computer Science, Volume 761, pp 348-357, Springer-Verlag 1993

Structure of Concurrency, Janicki, R. and Koutny, M., In 2nd International Conference on Algebraic Methodology and Software Technology (AMAST '91), Nivat, M., Rattray, C., Rus, T. and Scollo, G. (eds.) Workshops in Computing, pp 98-107, Springer-Verlag 1992

Invariant Semantics of Nets with Inhibitor Arcs, Janicki, R. and Koutny, M., In 2nd International Conference on Concurrency Theory (CONCUR '91), Baeten, J.C.M. and Groote, J.F. (eds.) Lecture Notes in Computer Science, Volume 527, pp 317-331, Springer-Verlag 1991

Invariants and Paradigms of Concurrency Theory, Janicki, R. and Koutny, M., In 3rd International Conference on Parallel Architectures and Languages Europe (PARLE '91), Aarts, E.H.L., van Leeuwen, J. and Rem, M. (eds.) Lecture Notes in Computer Science, Volume 506, pp 59-74, Springer-Verlag 1991

Observing Concurrent Histories, Janicki, R. and Koutny, M., In Workshop on Real-Time Systems: Theory and Applications 1990, pp 1-6, Elsevier Science Publishers B.V. 1990

Optimal simulations

Optimal Simulations, Nets and Reachability Graphs, Koutny, M. and Janicki, R., In 11th International Conference on Applications and Theory of Petri Nets (APN 1990), Rozenberg, G. (ed) Lecture Notes in Computer Science, Volume 524, pp 205-226, Springer-Verlag 1991

Using Optimal Simulations to Reduce Reachability Graphs, Janicki, R. and Koutny, M., In 2nd International Workshop on Computer Aided Verification (CAV '90), New Brunswick, NJ, USA, 18-21 June 1990 Clarke, E.M. and Kurshan, R.P. (eds.) Lecture Notes in Computing Science, Volume 531, pp 166-175, Springer-Verlag 1991

On Some Implementation of Optimal Simulations, Janicki, R. and Koutny, M. In 2nd Workshop on Computer-Aided Verification (CAV '90), Clarke, E.M. and Kurshan, R.P. (eds.) DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 3, pp 231-250, American Mathematical Society 1991

Towards a Theory of Simulation for Verification of Concurrent Systems, Janicki, R. and Koutny, M., In 2nd International Symposium on Parallel Architectures and Languages Europe (PARLE '89), Odijk, E., Rem, M. and Syre, J.-C. (eds.) Lecture Notes in Computer Science, Volume 366, pp 73-88, Springer-Verlag 1989

On Equivalent Execution Semantics of Concurrent Systems, Janicki, R. and Koutny, M., In 7th European Workshop on Applications and Theory of Petri Nets (APN 1986), Rozenberg, G. (ed) Lecture Notes in Computer Science, Volume 266, pp 89-103, Springer-Verlag 1986

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems, Devillers, R., Janicki, R., Koutny, M. and Lauer, P.E., Theoretical Computer Science, Volume 43, pp 213-238, Elsevier Science Publishers BV, ISSN: 0304-3975, 1986

Petri net semantics of priority systems

On Causality Semantics of Nets with Priorities, Janicki, R. and Koutny, M., Fundamenta Informaticae, Volume 38, Issue 3, pp 223-255, IOS Press, ISSN: 0169-2968, 1999

Petri Net Semantics of Priority Systems, Best, E. and Koutny, M., Theoretical Computer Science, Volume 96, Issue 1, pp 175-215, Elsevier Science Publishers BV, ISSN: 0304-3975, 1992

Modelling Systems with Dynamic Priorities Koutny, M., In: Advances in Petri Nets 1992, Rozenberg, G. (ed), pp 251-266, Series: Lecture Notes in Computer Science, Volume 609, Springer-Verlag, ISBN: 3-540-55610-9, 1992

Property preserving transformations

Adequacy-Preserving Transformations of COSY Path Programs, Koutny, M., Theoretical Computer Science, Volume 94, Issue 1, pp 141-158, Elsevier Science Publishers BV, ISSN: 0304-3975, 1992

Relating communicating processes with different interfaces

A Model of Behaviour Abstraction for Communicating Processes, Koutny, M. and Pappalardo, G., In 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS '99), Meinel, C. and Tison, S. (eds.) Lecture Notes in Computer Science, Volume 1563, pp 313-322, Springer-Verlag 1999

Two Implementation Relations and the Correctness of Communicating Replicated Processes, Koutny, M., Mancini, L.V. and Pappalardo, G., Formal Aspects of Computing, Volume 9, Issue 2, pp 119-148, Springer-Verlag London Ltd./British Computer Society, ISSN: 0934-5043, 1997

Modelling Replicated Processing, Koutny, M., Mancini, L. and Pappalardo, G., In 5th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE '93), Bode, A., Reeve, M. and Wolf, G. (eds.) Lecture Notes in Computer Science, Volume 694, pp 672-675, Springer-Verlag 1993

Relationship between logic and behavioural equivalence

Axiom System Induced by CTL* Logic, Koutny, M. Fundamenta Informaticae, Volume 14, Issue 2, pp 235-253, IOS Press, ISSN: 0169-2968, 1991