The following pages link to A calculus of mobile processes. I (Q1198548):
Displaying 50 items.
- Formal verification for KMB09 protocol (Q2010986) (← links)
- Is there any real substance to the claims for a ``new computationalism''? (Q2011631) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Mixed sessions (Q2055956) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves (Q2117014) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Security protocols as choreographies (Q2154014) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Event-based functional decomposition (Q2304530) (← links)
- Membrane automata for modeling biomolecular processes (Q2311302) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- A calculus for concurrent system with higher-order streaming communication (Q2486265) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- The seal calculus (Q2566220) (← links)
