The following pages link to (Q4248252):
Displaying 14 items.
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- Concurrent abstract state machines (Q303691) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- On process rate semantics (Q2474433) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
