The following pages link to (Q3833630):
Displaying 50 items.
- A blocking model for reactive objects (Q1918937) (← links)
- RMR-efficient implementations of comparison primitives using read and write operations (Q1938362) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Computability and realizability for interactive computations (Q2343137) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Precise specification matching for adaptive reuse in embedded systems (Q2372190) (← links)
- Byzantine disk paxos: optimal resilience with Byzantine shared memory (Q2375303) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Correctness proof of a database replication protocol under the perspective of the I/O automaton model (Q2390937) (← links)
- Stuttering for abstract probabilistic automata (Q2436515) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Highly concurrent logically synchronous multicast (Q2638776) (← links)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- Concrete process categories (Q2841311) (← links)
- Paths and simulations (Q2842830) (← links)
- Translation templates to support strategy development in PVS (Q2864361) (← links)
- Validating for liveness in hidden adversary systems (Q2864511) (← links)
- Compositional state space reduction using untangled actions (Q2866342) (← links)
- A calculus for team automata (Q2873606) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Dynamic Reactive Modules (Q3090845) (← links)
- (Q3289363) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- Recomposable restricted finite state machines: definition and solution approaches (Q3386582) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains (Q3510814) (← links)
- On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory (Q3540237) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- Automata on Multisets of Communicating Objects (Q3543347) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- Concurrent Machines (Q3691067) (← links)
- (Q5021015) (← links)
- A case study in transformational design of concurrent systems (Q5044728) (← links)
