Pages that link to "Item:Q1198549"
From MaRDI portal
The following pages link to A calculus of mobile processes. II (Q1198549):
Displayed 50 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Orchestrated session compliance (Q347361) (← links)
- External equality and absolute equality coincide in finite CCS and \(\pi\) calculus without summation (Q407482) (← links)
- An algebra of behavioural types (Q418153) (← links)
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- Reachability problems in BioAmbients (Q418830) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- Aeolus: a component model for the cloud (Q476172) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- A language-based approach to modelling and analysis of Twitter interactions (Q511939) (← links)
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- A principled exploration of coordination models (Q555789) (← links)
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Conversation types (Q615952) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Extensional Petri net (Q667521) (← links)
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- Late and early semantics coincide for testing (Q673146) (← links)
- Modal logics for mobile processes (Q685408) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- A closer look at constraints as processes (Q844200) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Theory of interaction (Q896903) (← links)
- The logic of message-passing (Q923880) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Computational self-assembly (Q953541) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- Approximate reasoning in the algebra of bounded rational agents (Q962635) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- On the expressibility of priority (Q975534) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)