mazurkiewicz traces
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

Information and Computation ◽

10.1016/j.ic.2009.12.003 ◽

2010 ◽

Vol 208 (7) ◽

pp. 797-816 ◽

Cited By ~ 12

Author(s):

Paul Gastin ◽

Dietrich Kuske

Keyword(s):

Satisfiability Problem ◽

Temporal Logics ◽

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 ◽

Cited By ~ 3

Author(s):

Volker Diekert ◽

Manfred Kufleitner

Keyword(s):

First Order ◽

Mazurkiewicz Traces

Download Full-text

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Information and Computation ◽

10.1016/j.ic.2006.07.002 ◽

2006 ◽

Vol 204 (11) ◽

pp. 1597-1619 ◽

Cited By ~ 17

Author(s):

Volker Diekert ◽

Paul Gastin

Keyword(s):

Temporal Logics ◽

Mazurkiewicz Traces

Download Full-text

Mazurkiewicz Traces and Asynchronous Automata

Formal Models of Communicating Systems ◽

10.1007/3-540-32923-4_6 ◽

2006 ◽

pp. 77-90

Keyword(s):

Asynchronous Automata ◽

Mazurkiewicz Traces

Download Full-text

From local to global temporal logics over Mazurkiewicz traces

Theoretical Computer Science ◽

10.1016/j.tcs.2006.01.035 ◽

2006 ◽

Vol 356 (1-2) ◽

pp. 126-135 ◽

Cited By ~ 6

Author(s):

Volker Diekert ◽

Paul Gastin

Keyword(s):

Temporal Logics ◽

Mazurkiewicz Traces

Download Full-text

Time-stamps for Mazurkiewicz traces

Theoretical Computer Science ◽

10.1016/j.tcs.2006.01.026 ◽

2006 ◽

Vol 356 (1-2) ◽

pp. 255-262 ◽

Cited By ~ 1

Author(s):

Wiesław Zielonka

Keyword(s):

Time Stamps ◽

Mazurkiewicz Traces

Download Full-text

The Implementation of Mazurkiewicz Traces in POEM

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/11901914_37 ◽

2006 ◽

pp. 508-522 ◽

Cited By ~ 3

Author(s):

Peter Niebert ◽

Hongyang Qu

Keyword(s):

Mazurkiewicz Traces

Download Full-text

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

Lecture Notes in Computer Science - CONCUR 2005 – Concurrency Theory ◽

10.1007/11539452_40 ◽

2005 ◽

pp. 533-547 ◽

Cited By ~ 1

Author(s):

Paul Gastin ◽

Dietrich Kuske

Keyword(s):

Satisfiability Problem ◽

Temporal Logics ◽

Mazurkiewicz Traces

Download Full-text

mazurkiewicz tracesRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Bounded Version Vectors Using Mazurkiewicz Traces

Theory of Mazurkiewicz-Traces

Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

On First-Order Fragments for Words and Mazurkiewicz Traces

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Mazurkiewicz Traces and Asynchronous Automata

From local to global temporal logics over Mazurkiewicz traces

Time-stamps for Mazurkiewicz traces

The Implementation of Mazurkiewicz Traces in POEM

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

mazurkiewicz traces
Recently Published Documents