Negotiation as concurrency primitive

DOI10.1007/S00236-018-0318-9MaRDI QIDQ6827654zbMATH OpenFDO

Authors Jörg Desel, Javier Esparza, Philipp H. W. Hoffmann

Publication date 14 March 2019

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00236-018-0318-9

zbMATH Keywords

Petri netsnegotiationsreduction rulesstate explosion problemdeterministic negotiationsweakly deterministic acyclic negotiations

Mathematics Subject Classification ID

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

This page was built for publication: Negotiation as concurrency primitive

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