Person:287371

Available identifiers

zbMath Open van-glabbeek.robert-janMaRDI QIDQ287371

List of research outcomes

Publication	Date of Publication	Type
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice	2024-03-14	Paper
Stronger Validity Criteria for Encoding Synchrony	2024-03-14	Paper
Reward testing equivalences for processes	2024-02-23	Paper
Comparing the Expressiveness of the π-calculus and CCS	2024-02-21	Paper
Just testing	2023-11-24	Paper
A process algebra for link layer protocols	2023-11-24	Paper
Modelling mutual exclusion in a process algebra with time-outs	2023-09-27	Paper
CONCUR Test-Of-Time Award 2021 (Invited Paper)	2023-08-21	Paper
Enabling Preserving Bisimulation Equivalence	2023-08-21	Paper
Comparing the expressiveness of the \(\pi \)-calculus and CCS	2023-08-03	Paper
Fair must testing for I/O automata	2023-07-26	Paper
Analysing AWN-Specifications Using mCRL2 (Extended Abstract)	2023-06-28	Paper
Cross-chain payment protocols with success guarantees	2023-06-19	Paper
Axiomatizing flat iteration	2023-05-17	Paper
Reactive bisimulation semantics for a process algebra with timeouts	2023-03-01	Paper
Abstract processes in the absence of conflicts in general place/transition systems	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5089269	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5020945	2022-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3385651	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5014797	2021-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5013871	2021-12-03	Paper
Abstract processes and conflicts in place/transition systems	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5009414	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4989406	2021-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4986261	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4965811	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5144689	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5119395	2020-09-04	Paper
Divide and congruence III: Stability & divergence	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111193	2020-05-26	Paper
Justness. A completeness criterion for capturing liveness properties (extended abstract)	2020-01-28	Paper
Ensuring liveness properties of distributed systems: open problems	2019-11-28	Paper
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence	2019-09-17	Paper
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours	2018-12-19	Paper
A theory of encodings and expressiveness (extended abstract)	2018-07-17	Paper
On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus	2018-06-15	Paper
Divide and Congruence II	2018-04-23	Paper
A branching time model of CSP	2018-03-26	Paper
Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity	2017-11-16	Paper
Precongruence formats for decorated trace semantics	2017-07-12	Paper
Proof nets for unit-free multiplicative-additive linear logic	2017-07-12	Paper
Modelling and verifying the AODV routing protocol	2016-10-17	Paper
Mechanizing a process algebra for network protocols	2016-05-26	Paper
A Timed Process Algebra for Wireless Networks with an Application in Routing	2016-04-26	Paper
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol	2015-12-17	Paper
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP	2015-11-04	Paper
On the Axiomatizability of Impossible Futures	2015-10-29	Paper
On Specifying Timeouts	2015-07-10	Paper
CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions	2015-04-16	Paper
Showing Invariance Compositionally for a Process Algebra for Network Protocols	2014-09-08	Paper
Symmetric and Asymmetric Asynchronous Interaction	2014-06-27	Paper
Real-reward testing for probabilistic processes	2014-06-06	Paper
Remarks on Testing Probabilistic Processes	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2852097	2013-10-07	Paper
On Characterising Distributability	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848133	2013-09-25	Paper
Abstract processes of place/transition systems	2013-04-04	Paper
Preface	2013-03-22	Paper
A Process Algebra for Wireless Mesh Networks	2012-06-22	Paper
On Distributability of Petri Nets	2012-06-22	Paper
Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity	2012-05-24	Paper
On Causal Semantics of Petri Nets	2011-09-02	Paper
On cool congruence formats for weak bisimulations	2011-07-07	Paper
The Coarsest Precongruences Respecting Safety and Liveness Properties	2010-10-27	Paper
On CSP and the Algebraic Theory of Effects	2010-10-26	Paper
Characterising Probabilistic Processes Logically	2010-10-12	Paper
Ready to preorder: the case of weak process semantics	2010-06-09	Paper
Fundamentals of Computation Theory	2010-04-20	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Computation Tree Logic with Deadlock Detection	2010-01-28	Paper
Testing Finitary Probabilistic Processes	2009-10-22	Paper
Configuration structures, event structures and Petri nets	2009-09-29	Paper
Branching Bisimilarity with Explicit Divergence	2009-09-29	Paper
Characterising Testing Preorders for Finite Probabilistic Processes	2009-04-29	Paper
Five Determinisation Algorithms	2009-02-12	Paper
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures	2009-02-03	Paper
On Synchronous and Asynchronous Interaction in Distributed Systems	2009-02-03	Paper
Correcting a Space-Efficient Simulation Algorithm	2008-07-15	Paper
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation	2007-09-11	Paper
Scalar Outcomes Suffice for Finitary Probabilistic Testing	2007-09-04	Paper
Liveness, Fairness and Impossible Futures	2007-09-04	Paper
Erratum to ``On the expressiveness of higher dimensional automata	2007-01-22	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
On the expressiveness of higher dimensional automata	2006-05-29	Paper
Compositionality of Hennessy-Milner logic by structural operational semantics	2006-04-28	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
Well-behaved flow event structures for parallel composition and action refinement	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4818861	2004-09-24	Paper
The meaning of negative premises in transition system specifications. II	2004-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q3045273	2004-08-12	Paper
Nested semantics over finite trees are equationally hard	2004-08-06	Paper
Refinement of actions and equivalence notions for concurrent systems	2001-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q2760238	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790408	2001-01-01	Paper
Notes on the methodology of CCS and CSP	1998-07-23	Paper
Branching time and abstraction in bisimulation semantics	1998-01-21	Paper
The difference between splitting in \(n\) and \(n+1\)	1997-10-26	Paper
Axiomatizing prefix iteration with silent steps	1996-11-25	Paper
\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules	1996-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4874391	1996-04-23	Paper
Reactive, generative, and stratified models of probabilistic processes	1995-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4299862	1995-04-04	Paper
Modular specification of process algebras	1993-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q3975146	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4732097	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753475	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3761680	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3771632	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776606	1987-01-01	Paper

Research outcomes over time

This page was built for person: Robert J. van Glabbeek