Bounded Version Vectors Using Mazurkiewicz Traces

Advances in Intelligent Systems and Computing - Advanced Computing and Systems for Security ◽

10.1007/978-981-15-5747-7_3 ◽

2020 ◽

pp. 31-42

Author(s):

Madhavan Mukund ◽

Gautham Shenoy R. ◽

S. P. Suresh

Keyword(s):

Mazurkiewicz Traces

Download Full-text

Deciding LTL over Mazurkiewicz traces

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930717 ◽

2002 ◽

Author(s):

B. Bollig ◽

M. Leucker

Keyword(s):

Mazurkiewicz Traces

Download Full-text

A domain for concurrent termination a generalization of Mazurkiewicz traces

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

10.1007/3-540-60084-1_59 ◽

1995 ◽

pp. 15-26 ◽

Author(s):

Volker Diekert ◽

Paul Gastin

Keyword(s):

Mazurkiewicz Traces

Download Full-text

On First-Order Fragments for Words and Mazurkiewicz Traces

Developments in Language Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73208-2_1 ◽

2007 ◽

pp. 1-19 ◽

Author(s):

Volker Diekert ◽

Manfred Kufleitner

Keyword(s):

First Order ◽

Mazurkiewicz Traces

Download Full-text

Trade-offs in true concurrency: Pomsets and mazurkiewicz traces

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-55511-0_18 ◽

1992 ◽

pp. 350-375 ◽

Author(s):

Bard Bloom ◽

Marta Kwiatkowska

Keyword(s):

True Concurrency ◽

Mazurkiewicz Traces

Download Full-text

Theory of Mazurkiewicz-Traces

Encyclopedia of Parallel Computing ◽

10.1007/978-0-387-09766-4_2454 ◽

2011 ◽

pp. 2039-2039

Author(s):

Yves Robert ◽

Sameer Shende ◽

Allen D. Malony ◽

Alan Morris ◽

Wyatt Spear ◽

...

Keyword(s):

Mazurkiewicz Traces

Download Full-text

Deciding LTL over Mazurkiewicz traces

Data & Knowledge Engineering ◽

10.1016/s0169-023x(02)00136-2 ◽

2003 ◽

Vol 44 (2) ◽

pp. 219-238 ◽

Author(s):

Benedikt Bollig ◽

Martin Leucker

Keyword(s):

Mazurkiewicz Traces

Download Full-text

LTL Is Expressively Complete for Mazurkiewicz Traces

Journal of Computer and System Sciences ◽

10.1006/jcss.2001.1817 ◽

2002 ◽

Vol 64 (2) ◽

pp. 396-418 ◽

Author(s):

Volker Diekert ◽

Paul Gastin

Keyword(s):

Mazurkiewicz Traces

Download Full-text

An extension of the wreath product principle for finite Mazurkiewicz traces

Information Processing Letters ◽

10.1016/s0020-0190(98)00123-9 ◽

1998 ◽

Vol 67 (6) ◽

pp. 277-282

Author(s):

G. Guaiana ◽

R. Meyer ◽

A. Petit ◽

P. Weil

Keyword(s):

Wreath Product ◽

Mazurkiewicz Traces

Download Full-text

An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces

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

10.1007/3-540-45465-9_80 ◽

2002 ◽

pp. 938-949 ◽

Author(s):

Paul Gastin ◽

Madhavan Mukund

Keyword(s):

Temporal Logic ◽

Mazurkiewicz Traces

Download Full-text

An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_14 ◽

1999 ◽

pp. 188-203 ◽

Author(s):

Volker Diekert ◽

Paul Gastin

Keyword(s):

Temporal Logic ◽

Tense Operators ◽

Mazurkiewicz Traces

Download Full-text