Order structures for subclasses of generalised traces

DOI10.1007/978-3-319-15579-1_54MaRDI QIDQ2799218zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ryszard Janicki, Maciej Koutny, Łukasz Mikulski, Jetty Kleijn

Publication date 8 April 2016

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=209015/B221562C-B1A4-44E7-A25F-5CE0EE3A7F35.pdf&pub_id=209015

zbMATH Keywords

dependence graphgeneralised causal order structureindependenceinterleavingpartial orderserialisabilitysimultaneitytrace

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Classifying invariant structures of step traces
• Modelling concurrency with comtraces and generalized comtraces
• On congruences and partial orders
• A generalization of traces
• Step traces

Cited in

(8)

• Multitraces, hypertraces and partial order semantics
• Relational structures for concurrent behaviours
• Classifying invariant structures of step traces
• A generalization of traces
• scientific article; zbMATH DE number 5286857 (Why is no real title available?)
• A Characterization of Combined Traces Using Labeled Stratified Order Structures
• scientific article; zbMATH DE number 5222362 (Why is no real title available?)
• Step traces

This page was built for publication: Order structures for subclasses of generalised traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2799218)