The following pages link to (Q4692502):
Displayed 50 items.
- UNITY (Q25375) (← links)
- Modular verification of multithreaded programs (Q557795) (← links)
- Probabilistic communicating processes (Q672230) (← links)
- Stabilizing phase-clocks (Q673003) (← links)
- A simplified design strategy for mapping image processing algorithms on a SIMD torus (Q673769) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- On the logic of UNITY (Q673960) (← links)
- A model for synchronous switching circuits and its theory of correctness (Q685112) (← links)
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439) (← links)
- Unity properties and sequences of states, some observations (Q688444) (← links)
- Eliminating the substitution axiom from UNITY logic (Q751848) (← links)
- The distributed simulation of clustered processes (Q757100) (← links)
- A fixed point approach to parallel discrete event simulation (Q758225) (← links)
- A complete mechanization of correctness of a string-preprocessing algorithm (Q816208) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (Q860848) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- Splitting atoms safely (Q879357) (← links)
- Modeling adaptive behaviors in Context UNITY (Q882451) (← links)
- A predicate transformer for progress (Q909441) (← links)
- Fixed points of increasing functions (Q909682) (← links)
- A distributed synchronization scheme for fair multi-process handshakes (Q910197) (← links)
- Safety and liveness from a methodological point of view (Q916351) (← links)
- Derivation of efficient parallel programs: An example from genetic sequence analysis (Q916411) (← links)
- Blocking versus nonblocking interprocess communication: A note on the effect on concurrency (Q917284) (← links)
- Comments on ``On the proof of a distributed algorithm'': Always-true is not invariant (Q918207) (← links)
- Refining multiset transformers (Q1127515) (← links)
- A framework for viewing atomic events in distributed computations (Q1128710) (← links)
- An incremental specification of the sliding-window protocol (Q1176075) (← links)
- Phase synchronization (Q1178203) (← links)
- Comments on ''Always-true is not invariant'': Assertional reasoning about invariance (Q1183477) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- Tuning distributed control algorithms for optimal functioning (Q1187845) (← links)
- Weakest preconditions for progress (Q1189258) (← links)
- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- The chemical abstract machine (Q1190491) (← links)
- Credible execution of bounded-time parallel systems with delayed diagnosis (Q1192010) (← links)
- A compositional protocol verification using relativized bisimulation (Q1193593) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- Efficient algorithms for parallel sorting on mesh multicomputers (Q1193763) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- A verification system for concurrent programs based on the Boyer-Moore prover (Q1203115) (← links)
- Machine checked proofs of the design of a fault-tolerant circuit (Q1203129) (← links)
- Some impossibility results in interprocess synchronization (Q1261111) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- Program construction by verifying specification (Q1273080) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)