David de Frutos-Escrig

Maciej Koutny

Lukasz Mikulski

Fundam. Informaticae, 2021

Distributed Population Protocols: Naturally!

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020

Beyond <i>ω</i>-regular languages: <i>ωT</i>-regular expressions and their automata and logic counterparts.

[BibT_eX]

[DOI]

David Barozzini

Dario Della Monica

Angelo Montanari

Pietro Sala

Theor. Comput. Sci., 2020

2019

Reversing Steps in Petri Nets.

[BibT_eX]

[DOI]

Maciej Koutny

Lukasz Mikulski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Petri Nets Are (Not Only) Distributed Automata.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

An Efficient Characterization of Petri Net Solvable Binary Words.

[BibT_eX]

[DOI]

Maciej Koutny

Lukasz Mikulski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Games for Bisimulations and Abstraction.

[BibT_eX]

[DOI]

Jeroen J. A. Keiren

Tim A. C. Willemse

Log. Methods Comput. Sci., 2017

Trace Simulation Semantics is not Finitely Based over BCCSP.

[BibT_eX]

[DOI]

Acta Cybern., 2017

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).

[BibT_eX]

[DOI]

Acta Informatica, 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Dario Della Monica

Angelo Montanari

Aniello Murano

Guido Sciavicco

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

2016

Branching Bisimulation Games.

[BibT_eX]

[DOI]

Jeroen J. A. Keiren

Tim A. C. Willemse

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

2015

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

2014

Axiomatizing weak simulation semantics over BCCSP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances.

[BibT_eX]

[DOI]

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

2013

On the specification of modal systems: A comparison of three frameworks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

2012

Distances between Processes: A Pure Algebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

The Equational Theory of Weak Complete Simulation Semantics over BCCSP.

[BibT_eX]

[DOI]

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

Defining Distances for All Process Semantics.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Decidability and complexity of Petri nets with unordered data.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

Accelerations for the Coverability Set of Petri Nets with Names.

[BibT_eX]

[DOI]

María Martos-Salgado

Fundam. Informaticae, 2011

Graphical representation of covariant-contravariant modal formulae

[BibT_eX]

[DOI]

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

On the Unification of Process Semantics: Logical Semantics

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

Axiomatizing Weak Ready Simulation Semantics over BCCSP.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Decidability Problems in Petri Nets with Names and Replication.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Decision Problems for Petri Nets with Names

[BibT_eX]

[DOI]

CoRR, 2010

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

Logics for Contravariant Simulations.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

Forward Analysis for Petri Nets with Name Creation.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Ready to preorder: an algebraic and general proof.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

(Bi)simulations up-to characterise process semantics.

[BibT_eX]

[DOI]

Inf. Comput., 2009

On the Unification of Process Semantics: Equational Semantics.

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

On the Unification of Process Semantics: Observational Semantics.

[BibT_eX]

[DOI]

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

On the Expressiveness of Refinement Settings.

[BibT_eX]

[DOI]

Harald Fecher

Gerald Lüttgen

Heiko Schmidt

Proceedings of the Fundamentals of Software Engineering, 2009

Non-strongly Stable Orders Also Define Interesting Simulation Relations.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Name Creation vs. Replication in Petri Net Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

A congruence relation for sPBC.

[BibT_eX]

[DOI]

Hermenegilda Macià

Formal Methods Syst. Des., 2008

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Foundations of Informatics, 2008

Universal Coinductive Characterisations of Process Semantics.

[BibT_eX]

[DOI]

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Simulations Up-to and Canonical Preorders: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

New Bisimulation Semantics for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Process Equivalences as Global Bisimulations.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

Replicated Ubiquitous Nets.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2006

Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

On the Expressiveness of Mobile Synchronizing Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Ubiquitous Systems and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2005

Bisimulations Up-to for the Linear Time Branching Time Spectrum.

[BibT_eX]

[DOI]

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

2004

Tagged Systems: A Framework for the Specification of History-dependent Properties.

[BibT_eX]

[DOI]

Clara Segura

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Preserving Contexts for Soft Conformance Relation.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Ambient Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

Replicated Ambient Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2003, 2003

2001

sPBC: A Markovian Extension of Finite Petri box calculus.

[BibT_eX]

[DOI]

Hermenegilda Macià

Valentín Valero

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Extending the Petri Box Calculus with Time.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.

[BibT_eX]

[DOI]

Roberto Bruni

Narciso Martí-Oliet

Ugo Montanari

Proceedings of the CONCUR 2000, 2000

Decidability of Properties of Timed-Arc Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

On non-decidability of reachability for timed-arc Petri nets.

[BibT_eX]

[DOI]

Fernando Cuartero Gómez

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Global Timed Bisimulation: An Introduction.

[BibT_eX]

Natalia López

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Relating May and Must Testing Semantics for Discrete Timed Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1999

1998

An invitation to friendly testing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1998

1997

Friendly Testing as a Conformance Relation.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Denotational Semantics for Timed Testing.

[BibT_eX]

[DOI]

Proceedings of the Transformation-Based Reactive Systems Development, 1997

A Sound and Complete Proof System for Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1995

Characterizing termination in LOTOS via testing.

[BibT_eX]

Proceedings of the Protocol Specification, 1995

Testing Semantics for Probabilistic LOTOS.

[BibT_eX]

Proceedings of the Formal Description Techniques VIII, 1995

Acceptance Trees for Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

Timed Processes of Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

TIC: A TImed Calculus.

[BibT_eX]

[DOI]

Arturo Azcorra

Formal Aspects Comput., 1993

Decidability of the strict reachability problem for TPN's with rational and real durations.

[BibT_eX]

[DOI]

Fernando Cuartero Gómez

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A Characterization of LOTOS Representable Networks of Parallel Processes.

[BibT_eX]

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

1991

A Complete Proof System for Timed Observations.

[BibT_eX]

[DOI]

Yolanda Ortega-Mallén

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

On Narrowing Strategies for Partial Non-Strict Functions.

[BibT_eX]

[DOI]

María-Inés Fernández-Camacho

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Inverse Expansion.

[BibT_eX]

Santiago Pavón

M. Hulström

Y. Ortega

Proceedings of the Formal Description Techniques, 1991

1990

Timed Observations: A Semantic Model for Real-Time Concurrency.

[BibT_eX]

Yolanda Ortega-Mallén

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

Graphical Composition Theorems for Parallel and Hiding Operators.

[BibT_eX]

Tommaso Bolognesi

Yolanda Ortega-Mallén

Proceedings of the Formal Description Techniques, 1990

1989

TIC: A Timed Calculus for LOTOS.

[BibT_eX]

Arturo Azcorra

Proceedings of the Formal Description Techniques, 1989

1987

Probabilistic Ianov's Schemes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

1986

Some Probabilistic Powerdomains in the Category SFP.

[BibT_eX]

[DOI]

Proceedings of the STACS 86, 1986

1984

A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties.

[BibT_eX]

[DOI]