Pages that link to "Item:Q2725941"
From MaRDI portal
The following pages link to Specification and Development of Interactive Systems (Q2725941):
Displayed 20 items.
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Multifunctional software systems: Structured modeling and specification of functional requirements (Q608340) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Splitting atoms safely (Q879357) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- Computability and realizability for interactive computations (Q2343137) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- Specifying Services with UML and UML-RT (Q2841316) (← links)
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
- A Formal Framework for Interactive Agents (Q2864512) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Implementing Services by Partial State Machines (Q3599077) (← links)
- A Model of Dynamic Systems (Q5170742) (← links)
- Refinement-Based Verification of Interactive Real-Time Systems (Q5403466) (← links)