A truly concurrent process semantics over multi-pomsets of consumable resources

DOI10.1016/J.ENTCS.2012.08.020MaRDI QIDQ3178291zbMATH OpenOpenAlexWikidataFDO

Authors Dan Teodosiu

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.08.020

zbMATH Keywords

consumptiondenotational semanticsfull abstractionpomsetprocess calculusquantificationresourcestructural operational semanticstrue concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A truly concurrent semantics for a process algebra using resource pomsets
• scientific article; zbMATH DE number 92601
• A simple process algebra based on atomic actions with resources
• scientific article; zbMATH DE number 17816
• scientific article; zbMATH DE number 139606

Cites work

• A calculus and logic of resources and processes
• A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract)
• A truly concurrent process semantics over multi-pomsets of consumable resources
• A truly concurrent semantics for a process algebra using resource pomsets
• Handbook of weighted automata
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Modeling concurrency with partial orders
• Resource traces: A domain for processes sharing exclusive resources.

Cited in

(4)

• A truly concurrent semantics for a process algebra using resource pomsets
• A truly concurrent process semantics over multi-pomsets of consumable resources
• scientific article; zbMATH DE number 17816 (Why is no real title available?)
• A simple process algebra based on atomic actions with resources

This page was built for publication: A truly concurrent process semantics over multi-pomsets of consumable resources

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