MSO Logic and the Partial Order Semantics of Place/Transition-Nets

Theoretical Aspects of Computing - ICTAC 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25150-9_22 ◽

2015 ◽

pp. 368-387 ◽

Cited By ~ 1

Author(s):

Mateus de Oliveira Oliveira

Keyword(s):

Partial Order ◽

Partial Order Semantics ◽

Mso Logic

Download Full-text

Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairness

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-13345-3_37 ◽

1984 ◽

pp. 403-413 ◽

Cited By ~ 30

Author(s):

Wolfgang Reisig

Keyword(s):

Partial Order ◽

Interleaving Semantics ◽

Partial Order Semantics

Download Full-text

Executions: a new partial-order semantics of Petri nets

Theoretical Computer Science ◽

10.1016/0304-3975(91)90084-f ◽

1991 ◽

Vol 91 (2) ◽

pp. 205-238 ◽

Cited By ~ 16

Author(s):

Walter Vogler

Keyword(s):

Petri Nets ◽

Partial Order ◽

Partial Order Semantics

Download Full-text

Partial Order Semantics of Types of Nets

Lecture Notes in Computer Science - SOFSEM 2009: Theory and Practice of Computer Science ◽

10.1007/978-3-540-95891-8_36 ◽

2009 ◽

pp. 388-400 ◽

Cited By ~ 1

Author(s):

Robert Lorenz ◽

Gabriel Juhás ◽

Sebastian Mauser

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Partial Order Semantics and Weak Fairness

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_23 ◽

1995 ◽

pp. 341-350

Author(s):

Walter Vogler

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Using partial-order semantics to avoid the state explosion problem in asynchronous systems

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023728 ◽

2005 ◽

pp. 146-155 ◽

Cited By ~ 6

Author(s):

David K. Probst ◽

Hon F. Li

Keyword(s):

Partial Order ◽

The State ◽

Asynchronous Systems ◽

State Explosion ◽

State Explosion Problem ◽

Partial Order Semantics

Download Full-text

Partial order semantics and read arcs

Theoretical Computer Science ◽

10.1016/s0304-3975(01)00234-1 ◽

2002 ◽

Vol 286 (1) ◽

pp. 33-63 ◽

Cited By ~ 23

Author(s):

Walter Vogler

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Modular Construction and Partial Order Semantics of Petri Nets

10.1007/3-540-55767-9 ◽

1992 ◽

Cited By ~ 81

Keyword(s):

Petri Nets ◽

Partial Order ◽

Modular Construction ◽

Partial Order Semantics

Download Full-text

DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/3-540-48169-9_16 ◽

1999 ◽

pp. 226-239

Author(s):

Camelia Zlatea ◽

Tzilla Elrad

Keyword(s):

Partial Order ◽

Parallel Systems ◽

Design Model ◽

Partial Order Semantics ◽

Independent Design

Download Full-text

Partial Order Semantics of Sequence Diagrams for Mobility

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_12 ◽

2005 ◽

pp. 212-227

Author(s):

Piotr Kosiuczenko

Keyword(s):

Partial Order ◽

Sequence Diagrams ◽

Partial Order Semantics

Download Full-text

Metric semantics from partial order semantics

Acta Informatica ◽

10.1007/s002360050104 ◽

1997 ◽

Vol 34 (9) ◽

pp. 701-735 ◽

Cited By ~ 8

Author(s):

Christel Baier ◽

Mila E. Majster-Cederbaum

Keyword(s):

Partial Order ◽

Metric Semantics ◽

Partial Order Semantics

Download Full-text