Specification and Development of Interactive Systems
From MaRDI portal
Publication:2725941
DOI10.1007/978-1-4613-0091-5zbMath0981.68115MaRDI QIDQ2725941
Publication date: 12 July 2001
Published in: Monographs in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4613-0091-5
03B45: Modal logic (including the logic of norms)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03B44: Temporal logic
Related Items
A Model of Dynamic Systems, Refinement-Based Verification of Interactive Real-Time Systems, Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems, Observable behavior of distributed systems: component reasoning for concurrent objects, A sound and complete reasoning system for asynchronous communication with shared futures, Dynamic consistency in process algebra: from paradigm to ACP, Fixing Zeno gaps, Multifunctional software systems: Structured modeling and specification of functional requirements, Lazy behavioral subtyping, Splitting atoms safely, A domain-specific language for cryptographic protocols based on streams, An algebra of hybrid systems, Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism, Computability and realizability for interactive computations, Verifying of interface assertions for infinite state Mealy machines, Specifying Services with UML and UML-RT, Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, A Formal Framework for Interactive Agents, What Is a Multi-modeling Language?, Implementing Services by Partial State Machines