Implementing Services by Partial State Machines

DOI10.1007/978-3-540-95891-8_24zbMath1206.68086OpenAlexW1586253568MaRDI QIDQ3599077

Annette Stümpel, Walter Dosch

Publication date: 3 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-95891-8_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• On hierarchies of abstract data types
• A survey of stream processing
• Web services. Concepts, architectures and applications
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• Specification and Development of Interactive Systems
• Deriving State-Based Implementations of Interactive Components with History Abstractions
• Extending the Service Domain of an Interactive Bounded Queue

This page was built for publication: Implementing Services by Partial State Machines