The following pages link to Programming Languages and Systems (Q5308696):
Displaying 14 items.
- Design of a biomolecular device that executes process algebra (Q537851) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Linear forwarders (Q2384926) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- A chart semantics for the pi-calculus (Q2864369) (← links)
- Pict Correctness Revisited (Q5428913) (← links)