The following pages link to Pict (Q20925):
Displaying 20 items.
- (Q4434010) (← links)
- (Q4501585) (← links)
- (Q4508306) (← links)
- (Q4508309) (← links)
- Region analysis and a π-calculus with groups (Q4542148) (← links)
- (Q4762646) (← links)
- (Q4813226) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- Mixed Sessions (Q5041119) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- Compilation of Interaction Nets (Q5170282) (← links)
- (Q5278078) (← links)
- Acute: High-level programming language design for distributed computation (Q5308092) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
- Behavioral equivalence in the polymorphic pi-calculus (Q5487879) (← links)
- (Q5714458) (← links)
- Formal Methods for Components and Objects (Q5897127) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897471) (← links)
- Bisimulation verification using the up to techniques (Q5953448) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
