The following pages link to (Q5186720):
Displaying 27 items.
- Kleene's three-valued logic and process algebra (Q293327) (← links)
- Reactive Turing machines (Q393091) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Extensional Petri net (Q667521) (← links)
- Confluence for process verification (Q672042) (← links)
- A note on the notation of recursion in process algebras (Q751295) (← links)
- Recursive process definitions with the state operator (Q758198) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- (Q3385651) (← links)
- Reflections on a Geometry of Processes (Q5262964) (← links)
