Concurrency-preserving minimal process representation

DOI10.1007/978-3-319-57418-9_15MaRDI QIDQ5283215zbMATH OpenOpenAlexFDO

Authors Adrián Puerto

Publication date 21 July 2017

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-57418-9_15

zbMATH Keywords

atomcausal netclosure operatorconcurrencylatticepartial order

Mathematics Subject Classification ID

Partial orders, general (06A06) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Closed sets in occurrence nets with conflicts
• Reduction of event structures under history preserving bisimulation
• scientific article; zbMATH DE number 7301527
• Structure of concurrency

Cites work

• Carl Adam Petri. Life and science. Translated from the German by the author and Tim Denvir
• Closed sets in occurrence nets with conflicts
• Closure operators and lattices derived from concurrency in posets and occurrence nets
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4098728 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3796014 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Partially Ordered Sets
• Petri nets, event structures and domains. I

This page was built for publication: Concurrency-preserving minimal process representation

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