Pages that link to "Item:Q2725941"
From MaRDI portal
The following pages link to Specification and Development of Interactive Systems (Q2725941):
Displayed 33 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)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Computability and realizability for interactive computations (Q2343137) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- The refinement calculus of reactive systems (Q2672236) (← 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)
- Modeling for Verification (Q3176361) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Implementing Services by Partial State Machines (Q3599077) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- A Model of Dynamic Systems (Q5170742) (← links)
- Refinement-Based Verification of Interactive Real-Time Systems (Q5403466) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- On specifications and proofs of timed circuits (Q6113972) (← links)