Irek Ulidowski

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

2016

Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits.

[BibT_eX]

[DOI]

Daniel Morrison

J. Cell. Autom., 2016

A Calculus for Local Reversibility.

[BibT_eX]

[DOI]

Stefan Kuhn

Proceedings of the Reversible Computation - 8th International Conference, 2016

2015

Reversibility and asymmetric conflict in event structures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Towards Modelling of Local Reversibility.

[BibT_eX]

[DOI]

Stefan Kuhn

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Event Identifier Logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2014

Concurrency and Reversibility.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

Arbitration and Reversibility of Parallel Delay-Insensitive Modules.

[BibT_eX]

[DOI]

Daniel Morrison

Proceedings of the Reversible Computation - 6th International Conference, 2014

2013

Modelling of Bonding with Processes and Events.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

Reversible Delay-Insensitive Distributed Memory Modules.

[BibT_eX]

[DOI]

Daniel Morrison

Proceedings of the Reversible Computation - 5th International Conference, 2013

2012

Foreword: Special Issue on Reversible Computation.

[BibT_eX]

[DOI]

Rolf Drechsler

Robert Wille

J. Multiple Valued Log. Soft Comput., 2012

A hierarchy of reverse bisimulations on stable configuration structures.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

2011

A Logic with Reverse Modalities for History-preserving Bisimulations

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

2010

Preface: Hybrid automata and oscillatory behaviour in biological systems.

[BibT_eX]

[DOI]

Nicola Cannata

Emanuela Merelli

Theor. Comput. Sci., 2010

2009

Generating priority rewrite systems for OSOS process languages.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Semantics and expressiveness of ordered SOS.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Michel A. Reniers

Inf. Comput., 2009

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Reversible Computation, 2009

Reverse Bisimulations on Stable Configuration Structures

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

2008

Preface.

[BibT_eX]

[DOI]

Nicola Cannata

Emanuela Merelli

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

2007

Reversing algebraic process calculi.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Reversibility and Models for Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

2006

The Meaning of Ordered SOS.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Michel A. Reniers

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

Operational Semantics of Reversibility in Process Algebra.

[BibT_eX]

[DOI]

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

Preface.

[BibT_eX]

[DOI]

Peter D. Mosses

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

2004

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2004

Preface.

[BibT_eX]

[DOI]

Luca Aceto

Wan J. Fokkink

Proceedings of the Workshop on Structural Operational Semantics, 2004

2003

Priority Rewrite Systems for OSOS Process Languages.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Ordered SOS Process Languages for Branching and Eager Bisimulations.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Refusal Simulation and Interactive Games.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2000

Finite axiom systems for testing preorder and De Simone process languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Process Languages for Rooted Eager Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1997

Formats of Ordered SOS Rules with Silent Actions.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Extending Process Languages with Time.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1995

Axiomatisations of Weak Equivalences for De Simone Languages.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1993

Congrurences for <i>tau</i>-Respecting Formats of Rules.

[BibT_eX]

Proceedings of the Theory and Formal Methods 1993, 1993

1992

Equivalences on Observable Processes

[BibT_eX]

[DOI]