Does My Service Have Partners?
From MaRDI portal
Publication:3623824
DOI10.1007/978-3-642-00899-3_9zbMath1235.68321OpenAlexW1515425532MaRDI QIDQ3623824
Publication date: 24 April 2009
Published in: Transactions on Petri Nets and Other Models of Concurrency II (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00899-3_9
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Software Engineering with Petri Nets: A Web Service and Agent Perspective ⋮ Distributed synthesis of asynchronously communicating distributed process models ⋮ Undecidability of accordance for open systems with unbounded message queues ⋮ Trace- and failure-based semantics for responsiveness ⋮ Associative composition of components with double-sided interfaces ⋮ Relating fair testing and accordance for service replaceability ⋮ Event-based functional decomposition
Uses Software
Cites Work
- Partial (set) 2-structures. I: Basic notions and the representation problems
- Can I find a partner? Undecidability of partner existence for open nets
- Web services. Concepts, architectures and applications
- The synthesis problem of Petri nets
- Operating Guidelines for Finite-State Services
- Graph-Based Algorithms for Boolean Function Manipulation
- Supervisory Control of a Class of Discrete Event Processes
- Fundamental Approaches to Software Engineering
- Lectures on Concurrency and Petri Nets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Does My Service Have Partners?