The following pages link to Distributed Computing (Q5897405):
Displaying 6 items.
- A consistency analysis of a class of concurrent transient implicit/explicit algorithms (Q802933) (← links)
- On the complexity of verifying concurrent transition systems (Q1854510) (← links)
- On the Implementation of Speculative Constraint Processing (Q3055681) (← links)
- Implementations of the CSP Notation for Concurrent Systems (Q3741029) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- Maximally concurrent programs (Q5926766) (← links)