Jan Friso Groote

CoRR, 2023

Tool interoperability for model-based systems engineering.

[BibT_eX]

[DOI]

Ramon R. H. Schiffelers

Jeroen Voeten

CoRR, 2023

A formal analysis of Dutch Generic Integral Tunnel Design models.

[BibT_eX]

[DOI]

Kevin H. J. Jilissen

Peter Dieleman

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

An Autonomous Data Language.

[BibT_eX]

[DOI]

Tom T. P. Franken

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Compositional Learning for Interleaving Parallel Automata.

[BibT_eX]

[DOI]

Faezeh Labbaf

Hossein Hojjat

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

Minimisation of Spatial Models Using Branching Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Real Equation Systems with Alternating Fixed-Points.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable.

[BibT_eX]

[DOI]

Jan Martens

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Understanding Behaviour of Distributed Systems Using mCRL2, 1

[BibT_eX]

[DOI]

Muhammad Atif

458, Springer, ISBN: 978-3-031-23007-3, 2023

2022

A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).

[BibT_eX]

[DOI]

P. H. M. van Spaendonck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Constructive Model Inference: Model Learning for Component-based Software Architectures.

[BibT_eX]

[DOI]

Ramon R. H. Schiffelers

Proceedings of the 17th International Conference on Software Technologies, 2022

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.

[BibT_eX]

[DOI]

Kevin H. J. Jilissen

P. H. M. van Spaendonck

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

2021

Correct and Efficient Antichain Algorithms for Refinement Checking.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

A thread-safe Term Library.

[BibT_eX]

[DOI]

P. H. M. van Spaendonck

CoRR, 2021

Fair Mutual Exclusion for N Processes (extended version).

[BibT_eX]

[DOI]

Yousra Hafidi

Jeroen J. A. Keiren

CoRR, 2021

Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021

A Set Automaton to Locate All Pattern Matches in a Term.

[BibT_eX]

[DOI]

Rick Erkens

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Term Rewriting on GPUs.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Tutorial: Designing Distributed Software in mCRL2.

[BibT_eX]

[DOI]

Jeroen J. A. Keiren

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Bisimulation by Partitioning Is Ω((m+n)log n).

[BibT_eX]

[DOI]

Jan Martens

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

Logic Gates, Circuits, Processors, Compilers and Computers

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-030-68552-2, 2021

2020

Finding compact proofs for infinite-data parameterised Boolean equation systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

A symmetric protocol to establish service level agreements.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

A Complete Axiomatisation for Probabilistic Trace Equivalence.

[BibT_eX]

[DOI]

Ferry Timmers

Andrei Sergeevich Terechko

Sci. Ann. Comput. Sci., 2020

A Formally Verified Fail-Operational Safety Concept for Automated Driving.

[BibT_eX]

[DOI]

Yuting Fu

Arash Khabbaz Saberi

CoRR, 2020

An O(m log n) algorithm for branching bisimilarity on labelled transition systems.

[BibT_eX]

[DOI]

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

Beyond SOTIF: Black Swans and Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Systems Conference, 2020

Active Learning of Decomposable Systems.

[BibT_eX]

[DOI]

Omar al Duhaiby

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.

[BibT_eX]

[DOI]

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

2019

Verification of hypertorus communication grids by infinite petri nets and process algebra.

[BibT_eX]

[DOI]

Dmitry A. Zaitsev

Tatiana R. Shmeleva

IEEE CAA J. Autom. Sinica, 2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems.

[BibT_eX]

[DOI]

CoRR, 2019

Distribution of Behaviour into Parallel Communicating Subsystems.

[BibT_eX]

[DOI]

Omar al Duhaiby

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

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

[BibT_eX]

[DOI]

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

Active Learning of Industrial Software with Data.

[BibT_eX]

[DOI]

Lisette Sanchez

Ramon R. H. Schiffelers

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Verifying System-Wide Properties of Industrial Component-Based Software.

[BibT_eX]

[DOI]

Marijn Rol

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Modelling and Analysing Software in mCRL2.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

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

[BibT_eX]

[DOI]

Rob J. van Glabbeek

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

2018

An Efficient Algorithm to Determine Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Jao Rivera Verduzco

Algorithms, 2018

Pitfalls in Applying Model Learning to Industrial Legacy Software.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode.

[BibT_eX]

[DOI]

Conrad Dandelski

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

Assessing the Quality of Tabular State Machines through Metrics.

[BibT_eX]

[DOI]

Jelena Marincic

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Formalising the Dezyne Modelling Language in mCRL2.

[BibT_eX]

[DOI]

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Problem Solving Using Process Algebra Considered Insightful.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications.

[BibT_eX]

[DOI]

Jean-Paul M. G. Linnartz

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2016

Evaluating the effect of a lightweight formal technique in industry.

[BibT_eX]

[DOI]

Bart J. van Rijnsoever

Int. J. Softw. Tools Technol. Transf., 2016

A Probabilistic Analysis of the Game of the Goose.

[BibT_eX]

[DOI]

Freek Wiedijk

Hans Zantema

SIAM Rev., 2016

On the random structure of behavioural transition systems.

[BibT_eX]

[DOI]

Remco van der Hofstad

Matthias Raffelsieper

Sci. Comput. Program., 2016

An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.

[BibT_eX]

[DOI]

Anton Wijs

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

Software that Meets Its Intent.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Specification guidelines to avoid the state space explosion problem.

[BibT_eX]

[DOI]

Tim W. D. M. Kouters

Softw. Test. Verification Reliab., 2015

Software engineering: Redundancy is key.

[BibT_eX]

[DOI]

Mark van den Brand

Sci. Comput. Program., 2015

Communication Patterns in Mean Field Models for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Jean-Paul M. G. Linnartz

CoRR, 2015

Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness.

[BibT_eX]

[DOI]

Sarmen Keshishzadeh

CoRR, 2015

Continuous approximation of stochastic models for wireless sensor networks.

[BibT_eX]

[DOI]

Jean-Paul M. G. Linnartz

Proceedings of the 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux, 2015

2014

Redundancy in the Software Design Process is Essential for Designing Correct Software.

[BibT_eX]

[DOI]

Mark G. J. van den Brand

ERCIM News, 2014

Book Announcement: Modeling and Analysis of Communicating Systems.

[BibT_eX]

[DOI]

Bull. EATCS, 2014

Modeling and Analysis of Communicating Systems.

[BibT_eX]

[DOI]

MIT Press, ISBN: 9780262321020, 2014

2013

An Overview of the mCRL2 Toolset and Its Recent Advances.

[BibT_eX]

[DOI]

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

Analysis of Path Planning Algorithms: a Formal Verification-based Approach.

[BibT_eX]

[DOI]

Arash Khabbaz Saberi

Sarmen Keshishzadeh

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

2012

Advances in Model Driven Software Engineering.

[BibT_eX]

[DOI]

Mark G. J. van den Brand

ERCIM News, 2012

Dogfooding the Formal Semantics of mCRL2.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Experience report on developing the Front-end client unit under the control of formal methods.

[BibT_eX]

[DOI]

Jacco H. Wesselius

Proceedings of the ACM Symposium on Applied Computing, 2012

Analyzing a Controller of a Power Distribution Unit Using Formal Methods.

[BibT_eX]

[DOI]

Jacco H. Wesselius

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Experience Report on Designing and Developing Control Components Using Formal Methods.

[BibT_eX]

[DOI]

Tom Fransen

Bart J. van Rijnsoever

Proceedings of the FM 2012: Formal Methods, 2012

2011

A linear translation from CTL* to the first-order modal μ -calculus.

[BibT_eX]

[DOI]

Sjoerd Cranen

Theor. Comput. Sci., 2011

Experiences in developing the mCRL2 toolset.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.

[BibT_eX]

[DOI]

Christoph Brandt

Frank Hermann

J. Res. Pract. Inf. Technol., 2011

Analyzing the effects of formal methods on the development of industrial control software.

[BibT_eX]

[DOI]

Jacco H. Wesselius

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2009

Search algorithms for automated validation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Switching Graphs.

[BibT_eX]

[DOI]

Bas Ploeger

Int. J. Found. Comput. Sci., 2009

Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.

[BibT_eX]

[DOI]

Frank P. M. Stappers

Boudewijn R. H. M. Haverkort

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

The 3TU embedded systems master in the Netherlands.

[BibT_eX]

[DOI]

Gerard J. M. Smit

Gerrit F. van der Hoeven

Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

2008

Statistical Certification of Software Systems.

[BibT_eX]

[DOI]

Alessandro Di Bucchianico

Kees M. van Hee

Ronald Kruidhof

Commun. Stat. Simul. Comput., 2008

Verification of networks of timed automata using mCRL2.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Parameterised Anonymity.

[BibT_eX]

[DOI]

Simona Orzan

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

SOS formats and meta-theory: 20 years after.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Operational semantics for Petri net components.

[BibT_eX]

[DOI]

Marc Voorhoeve

Theor. Comput. Sci., 2007

Lock-free parallel and concurrent garbage collection by mark&sweep.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Transformation of BPMN Models for Behaviour Analysis.

[BibT_eX]

Ivo Raedts

Marija Petkovic

Jan Martijn E. M. van der Werf

Lou J. Somers

Proceedings of the Modelling, 2007

Sarir: A Rebeca to mCRL2 Translator.

[BibT_eX]

[DOI]

Hossein Hojjat

Marjan Sirjani

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Interactive visualization of large state spaces.

[BibT_eX]

[DOI]

Frank van Ham

Int. J. Softw. Tools Technol. Transf., 2006

Time abstraction in timed μCRL a la regions.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Formal Specification Language mCRL2.

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

Parameterised boolean equation systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Model-checking processes with data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

A syntactic commutativity format for SOS.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

Notions of bisimulation and congruence formats for SOS with data.

[BibT_eX]

[DOI]

Inf. Comput., 2005

A computer checked algebraic verification of a distributed summation algorithm.

[BibT_eX]

[DOI]

François Monin

Jan Springintveld

Formal Aspects Comput., 2005

Verification of a sliding window protocol in µCRL and PVS.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2005

Discretization of Timed Automata in Timed mu.

[BibT_eX]

[DOI]

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

From µCRL to mCRL2: Motivation and Outline.

[BibT_eX]

[DOI]

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

A Hierarchy of SOS Rule Formats.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Lock-free dynamic hash tables with open addressing.

[BibT_eX]

[DOI]

Distributed Comput., 2005

Exploring students' understanding of the concept of algorithm: levels of abstraction.

[BibT_eX]

[DOI]

Jacob Perrenet

Eric Kaasenbrood

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Lock-Free Parallel Garbage Collection.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2005

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.

[BibT_eX]

[DOI]

Misa Keinänen

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Analysing the BKE-security Protocol with µCRL.

[BibT_eX]

[DOI]

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Process Algebra Needs Proof Methodology (Columns: Concurrency).

[BibT_eX]

[DOI]

Wan J. Fokkink

Bull. EATCS, 2004

Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.

[BibT_eX]

[DOI]

Misa Keinänen

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

Congruence for SOS with Data.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Almost Wait-Free Resizable Hashtable.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Parameterised Boolean Equation Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Verifying a Sliding Window Protocol in µCRL.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Task Allocation in a Multi-Server System.

[BibT_eX]

[DOI]

J. Sched., 2003

Binary decision diagrams for first-order predicate logic.

[BibT_eX]

[DOI]

Olga Tveretina

J. Log. Algebraic Methods Program., 2003

Analysis of a distributed system for lifting trucks.

[BibT_eX]

[DOI]

Jun Pang

Arno G. Wouters

J. Log. Algebraic Methods Program., 2003

Transforming equality logic to propositional logic.

[BibT_eX]

[DOI]

Hans Zantema

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

New developments around the mCRL tool set.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Resolution and binary decision diagrams cannot simulate each other polynomially.

[BibT_eX]

[DOI]

Hans Zantema

Discret. Appl. Math., 2003

Efficient almost wait-free parallel accessible dynamic hashtables

[BibT_eX]

[DOI]

CoRR, 2003

Large State Space Visualization.

[BibT_eX]

[DOI]

Frank van Ham

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

A Checker for Modal Formulae for Processes with Data.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Computer assisted manipulation of algebraic process specifications.

[BibT_eX]

[DOI]

Bert Lisser

ACM SIGPLAN Notices, 2002

Completeness of Timed mCRL.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

2001

The parallel composition of uniform processes with data.

[BibT_eX]

[DOI]

Jos van Wamel

Theor. Comput. Sci., 2001

Analysis of three hybrid systems in timed µCRL.

[BibT_eX]

[DOI]

Jos van Wamel

Sci. Comput. Program., 2001

Focus points and convergent process operators: a proof strategy for protocol verification.

[BibT_eX]

[DOI]

Jan Springintveld

J. Log. Algebraic Methods Program., 2001

Linearization in parallel pCRL.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2001

Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).

[BibT_eX]

[DOI]

Distributed Comput., 2001

An algorithm for the asynchronous Write-All problem based on process collision.

[BibT_eX]

[DOI]

Distributed Comput., 2001

µCRL: A Toolset for Analysing Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Algebraic Process Verification.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Process Algebra, 2001

2000

The Propositional Formula Checker HeerHugo.

[BibT_eX]

[DOI]

Joost P. Warners

J. Autom. Reason., 2000

State Space Reduction Using Partial tau-Confluence.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Equational Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

LARIS 1.0 - LAnguage for Railway Interlooking Specifications.

[BibT_eX]

[DOI]

CWI, ISBN: 978-90-6196-489-6, 2000

1999

A Complete Equational Axiomatization for MPA with String Iteration.

[BibT_eX]

[DOI]

Luca Aceto

Theor. Comput. Sci., 1999

The Vital Processor Interlocking.

[BibT_eX]

[DOI]

Sebastiaan van Vlijmen

Wilco Koorn

Proceedings of the Algebraic Specification in Action, 1999

1998

Editorial.

[BibT_eX]

[DOI]

Bas Luttik

Jos van Wamel

Formal Aspects Comput., 1998

Checking Verifications of Protocols and Distributed Systems by Computer.

[BibT_eX]

[DOI]

François Monin

Proceedings of the CONCUR '98: Concurrency Theory, 1998

Verification of Temporal Properties of Processes in a Setting with Data.

[BibT_eX]

[DOI]

Radu Mateescu

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Formal Verification of a Leader Election Protocol in Process Algebra.

[BibT_eX]

[DOI]

Lars-Åke Fredlund

Henri Korver

Theor. Comput. Sci., 1997

Foreword.

[BibT_eX]

[DOI]

Martin Rem

Sci. Comput. Program., 1997

Formalizing Process Algebraic Verifications in the Calculus of Constructions.

[BibT_eX]

[DOI]

Marc Bezem

Roland N. Bol

Formal Aspects Comput., 1997

1996

Confluence for Process Verification.

[BibT_eX]

[DOI]

M. P. A. Sellink

Theor. Comput. Sci., 1996

The Meaning of Negative Premises in Transition System Specifications.

[BibT_eX]

[DOI]

Roland N. Bol

J. ACM, 1996

Hiding Propositional Constants in BDDs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1996

Concurrency Theory Will Set Standards for Description and Analysis of Software.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

A Bounded Retransmission Protocol for Large Data Packets.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1994

Undecidable Equivalences for Basic Process Algebra

[BibT_eX]

[DOI]

Hans Hüttel

Inf. Comput., December, 1994

Process Algebra with Guards: Combining Hoare Logic with Process Algebra.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1994

A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL.

[BibT_eX]

[DOI]

Marc Bezem

Comput. J., 1994

Invariants in Process Algebra with Data.

[BibT_eX]

[DOI]

Marc Bezem

Proceedings of the CONCUR '94, 1994

1993

Transition System Specifications with Negative Premises.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Proof Theory for µCRL: A Language for Processes with Data.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

Structured Operational Semantics and Bisimulation as a Congruence

[BibT_eX]

[DOI]

Frits W. Vaandrager

Inf. Comput., October, 1992

A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

Verification of Parallel Systems via Decomposition.

[BibT_eX]

[DOI]

Faron Moller

Proceedings of the CONCUR '92, 1992

1991

Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1990

Specification and verification of real time systems in ACP.

[BibT_eX]

Proceedings of the Protocol Specification, 1990

An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.

[BibT_eX]

[DOI]

Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

Transition System Specifications with Negative Premises (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

A New Strategy for Proving omega-Completeness applied to Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

1989

Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).

[BibT_eX]

[DOI]