Can I find a partner? Undecidability of partner existence for open nets
From MaRDI portal
Publication:975497
DOI10.1016/j.ipl.2008.07.006zbMath1191.68442MaRDI QIDQ975497
Natalia Sidorova, Alexander Serebrenik, Peter Massuthe, Karsten Schmidt
Publication date: 9 June 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2008.07.006
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Undecidability of accordance for open systems with unbounded message queues, Session types for safe web service orchestration, Does My Service Have Partners?, Deciding Substitutability of Services with Operating Guidelines
Uses Software
Cites Work