Rob J. van Glabbeek

Jan Friso Groote

Erik P. de Vink

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Just Testing.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Abstract processes in the absence of conflicts in general place/transition systems.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Fair Must Testing for I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Failure Trace Semantics for a Process Algebra with Time-outs.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Abstract processes and conflicts in place/transition systems.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Coinductive Validity.

[BibT_eX]

[DOI]

CoRR, 2021

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.

[BibT_eX]

[DOI]

Ross Horne

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Enabling Preserving Bisimulation Equivalence.

[BibT_eX]

[DOI]

Weiyou Wang

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

CONCUR Test-Of-Time Award 2021 (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.

[BibT_eX]

[DOI]

Linda Spaninks

Log. Methods Comput. Sci., 2020

Reactive Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

On infinite guarded recursive specifications in process algebra.

[BibT_eX]

[DOI]

Cornelis A. Middelburg

CoRR, 2020

Formalising the Optimised Link State Routing Protocol.

[BibT_eX]

[DOI]

Ryan Barry

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report).

[BibT_eX]

[DOI]

CoRR, 2020

Feasibility of Cross-Chain Payment with Success Guarantees.

[BibT_eX]

[DOI]

Vincent Gramoli

Pierre Tholoniat

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Reactive Bisimulation Semantics for a Process Algebra with Time-Outs.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours.

[BibT_eX]

[DOI]

Nick Fischer

J. Log. Algebraic Methods Program., 2019

Ensuring liveness properties of distributed systems: Open problems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence.

[BibT_eX]

[DOI]

Inf. Comput., 2019

Progress, Justness, and Fairness.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

Justness: A Completeness Criterion for Capturing Liveness Properties.

[BibT_eX]

[DOI]

CoRR, 2019

On the Meaning of Transition System Specifications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2019

A Process Algebra for Link Layer Protocols.

[BibT_eX]

[DOI]

Michael Markl

Proceedings of the Programming Languages and Systems, 2019

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

[BibT_eX]

[DOI]

Jan Friso Groote

Erik P. de Vink

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Stronger Validity Criteria for Encoding Synchrony.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Reward Testing Equivalences for Processes.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

On the validity of encodings of the synchronous in the asynchronous <i>π</i>-calculus.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

A Theory of Encodings and Expressiveness.

[BibT_eX]

[DOI]

CoRR, 2018

On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus.

[BibT_eX]

[DOI]

CoRR, 2018

Analysing AWN-Specifications Using mCRL2 (Extended Abstract).

[BibT_eX]

[DOI]

Djurre van der Wal

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Ensuring Liveness Properties of Distributed Systems (A Research Agenda).

[BibT_eX]

[DOI]

CoRR, 2017

Analysing Mutual Exclusion using Process Algebra with Signals.

[BibT_eX]

[DOI]

Victor Dyseryn

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

An Algebraic Treatment of Recursion.

[BibT_eX]

[DOI]

CoRR, 2017

Lean and full congruence formats for recursion.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Precongruence Formats with Lookahead through Modal Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Divide and Congruence III: Stability & Divergence.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

A Branching Time Model of CSP.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

Mechanizing a Process Algebra for Network Protocols.

[BibT_eX]

[DOI]

Timothy Bourke

J. Autom. Reason., 2016

Modelling and verifying the AODV routing protocol.

[BibT_eX]

[DOI]

Distributed Comput., 2016

MALL proof nets identify proofs modulo rule commutation.

[BibT_eX]

[DOI]

Dominic J. D. Hughes

CoRR, 2016

A Timed Process Algebra for Wireless Networks.

[BibT_eX]

[DOI]

Emile Bres

CoRR, 2016

Divide and Congruence II: Delay and Weak Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).

[BibT_eX]

[DOI]

Emile Bres

Proceedings of the Programming Languages and Systems, 2016

2015

Analysing and Comparing Encodability Criteria.

[BibT_eX]

[DOI]

Kirstin Peters

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Progress, Fairness and Justness in Process Algebra.

[BibT_eX]

[DOI]

CoRR, 2015

Modelling and Analysis of AODV in UPPAAL.

[BibT_eX]

[DOI]

CoRR, 2015

On the Axiomatizability of Impossible Futures.

[BibT_eX]

[DOI]

Taolue Chen

Log. Methods Comput. Sci., 2015

Analysing and Comparing Encodability Criteria for Process Calculi.

[BibT_eX]

[DOI]

Kirstin Peters

Arch. Formal Proofs, 2015

CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.

[BibT_eX]

[DOI]

Acta Informatica, 2015

Special issue on "Combining Compositionality and Concurrency": part 2.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Acta Informatica, 2015

Special issue on "Combining Compositionality and Concurrency": part 1.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Acta Informatica, 2015

Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 2015

2014

Real-reward testing for probabilistic processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.

[BibT_eX]

[DOI]

Timothy Bourke

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.

[BibT_eX]

[DOI]

Timothy Bourke

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

On Characterising Distributability.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.

[BibT_eX]

[DOI]

CoRR, 2013

Sequence numbers do not guarantee loop freedom: AODV can yield routing loops.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Modeling, 2013

2012

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity.

[BibT_eX]

[DOI]

Inf. Comput., 2012

Musings on Encodings and Expressiveness

[BibT_eX]

[DOI]

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

On Distributability of Petri Nets

[BibT_eX]

[DOI]

CoRR, 2012

Automated Analysis of AODV Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A rigorous analysis of AODV and its variants.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Modeling, 2012

On Distributability of Petri Nets - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2012

A Process Algebra for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

2011

Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

On cool congruence formats for weak bisimulations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Abstract processes of place/transition systems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

On Causal Semantics of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

On CSP and the Algebraic Theory of Effects

[BibT_eX]

[DOI]

CoRR, 2010

Characterising Probabilistic Processes Logically

[BibT_eX]

[DOI]

Yuxin Deng

CoRR, 2010

Characterising Probabilistic Processes Logically - (Extended Abstract).

[BibT_eX]

[DOI]

Yuxin Deng

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Coarsest Precongruences Respecting Safety and Liveness Properties.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2010

On CSP and the Algebraic Theory of Effects.

[BibT_eX]

[DOI]

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Configuration structures, event structures and Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Special issue on structural operational semantics.

[BibT_eX]

[DOI]

Peter D. Mosses

Inf. Comput., 2009

Branching Bisimilarity with Explicit Divergence.

[BibT_eX]

[DOI]

Nikola Trcka

Fundam. Informaticae, 2009

Computation Tree Logic with Deadlock Detection

[BibT_eX]

[DOI]

Nikola Trcka

Log. Methods Comput. Sci., 2009

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.

[BibT_eX]

[DOI]

Taolue Chen

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Testing Finitary Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Characterising Testing Preorders for Finite Probabilistic Processes.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Ready to preorder: The case of weak process semantics.

[BibT_eX]

[DOI]

Taolue Chen

Inf. Process. Lett., 2008

Symmetric and Asymmetric Asynchronous Interaction.

[BibT_eX]

[DOI]

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Five Determinisation Algorithms.

[BibT_eX]

[DOI]

Bas Ploeger

Proceedings of the Implementation and Applications of Automata, 2008

On Synchronous and Asynchronous Interaction in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

Correcting a Space-Efficient Simulation Algorithm.

[BibT_eX]

[DOI]

Bas Ploeger

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Preface.

[BibT_eX]

[DOI]

Matthew Hennessy

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Remarks on Testing Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Characterising Testing Preorders for Finite Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Scalar Outcomes Suffice for Finitary Probabilistic Testing.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2006

Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290].

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

On the expressiveness of higher dimensional automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Compositionality of Hennessy-Milner logic by structural operational semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Peter D. Mosses

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Liveness, Fairness and Impossible Futures.

[BibT_eX]

[DOI]

Marc Voorhoeve

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Proof nets for unit-free multiplicative-additive linear logic.

[BibT_eX]

[DOI]

Dominic J. D. Hughes

ACM Trans. Comput. Log., 2005

On Specifying Timeouts.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Divide and Congruence Applied to <i>eta</i>-Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

The Individual and Collective Token Interpretations of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

A Characterisation of Weak Bisimulation Congruence.

[BibT_eX]

[DOI]

Proceedings of the Processes, 2005

2004

Precongruence formats for decorated trace semantics.

[BibT_eX]

[DOI]

Bard Bloom

ACM Trans. Comput. Log., 2004

Well-behaved flow event structures for parallel composition and action refinement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

The meaning of negative premises in transition system specifications II.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2004

Nested semantics over finite trees are equationally hard.

[BibT_eX]

[DOI]

Inf. Comput., 2004

On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Event Structures for Resolvable Conflict.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).

[BibT_eX]

[DOI]

Dominic J. D. Hughes

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003

Bundle Event Structures and CCSP.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

Query Nets: Interacting Workflow Modules That Ensure Global Termination.

[BibT_eX]

[DOI]

David G. Stork

Proceedings of the Business Process Management, International Conference, 2003

2002

Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.

[BibT_eX]

[DOI]

David G. Stork

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Refinement of actions and equivalence notions for concurrent systems.

[BibT_eX]

[DOI]

Acta Informatica, 2001

What is Branching Time Semantics and Why to Use it?

[BibT_eX]

Proceedings of the Current Trends in Theoretical Computer Science, 2001

The Linear Time - Branching Time Spectrum I.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Process Algebra, 2001

2000

Preface.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Joachim Parrow

Inf. Comput., 2000

Precongruence Formats for Decorated Trace Preorders.

[BibT_eX]

[DOI]

Bard Bloom

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Petri Nets, Configuration Structures and Higher Dimensional Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Scheduling Algebra.

[BibT_eX]

[DOI]

Peter Rittgen

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Notes on the Methodology of CCS and CSP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

The Difference between Splitting in n and n+1.

[BibT_eX]

[DOI]

Inf. Comput., 1997

Axiomatizing Flat Iteration.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Branching Time and Abstraction in Bisimulation Semantics.

[BibT_eX]

[DOI]

W. P. Weijland

J. ACM, 1996

Ntyft/Ntyxt Rules Reduce to Ntree Rules.

[BibT_eX]

[DOI]

Inf. Comput., 1996

Axiomatizing Prefix Iteration with Silent Steps.

[BibT_eX]

[DOI]

Inf. Comput., 1996

1995

Reactive, Generative and Stratified Models of Probabilistic Processes

[BibT_eX]

[DOI]

Scott A. Smolka

Bernhard Steffen

Inf. Comput., August, 1995

Configuration Structures

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1995

1994

What is Branching time semantics and why to use it?

[BibT_eX]

Bull. EATCS, 1994

Axiomatising ST-Bisimulation Equivalence.

[BibT_eX]

Nadia Busi

Roberto Gorrieri

Proceedings of the Programming Concepts, 1994

1993

Modular Specification of Process Algebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

The Linear Time - Branching Time Spectrum II.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

Full Abstraction in Structural Operational Semantics (Extended Abstract).

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Interleaving semantics and action refinement with atomic choice.

[BibT_eX]

[DOI]

Ingo Czaja

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1990

A deadlock-sensitive congruence for action refinement

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Equivalences and refinement

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Reactive, Generative, and Stratified Models of Probabilistic Processes

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

The Refinement Theorem for ST-bisimulation Semantics.

[BibT_eX]

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

The Linear Time-Branching Time Spectrum (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

1989

Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care.

[BibT_eX]

Bull. EATCS, 1989

Refinement of Actions in Causality Based Models.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

[BibT_eX]

W. P. Weijland

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the STACS 87, 1987

Petri Net Models for Algebraic Theories of Concurrency.

[BibT_eX]

[DOI]

Proceedings of the PARLE, 1987

Another Look at Abstraction in Process Algebra (Extended Abstract).

[BibT_eX]

[DOI]

Jos C. M. Baeten

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

Merge and Termination in Process Algebra.

[BibT_eX]

[DOI]

Jos C. M. Baeten

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

Modular Specifications in Process Algebra with Curious Queues.

[BibT_eX]

[DOI]