swMATH11478MaRDI QIDQ23420FDOQ23420
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=503272.503278
Cited In (45)
- Regular and context-free nominal traces
- A WSDL-based type system for asynchronous WS-BPEL processes
- A Hybrid Type System for Lock-Freedom of Mobile Processes
- Temporal logic based static analysis for non-uniform behaviours.
- An algebra of behavioural types
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- An algebraic theory for web service contracts
- Title not available (Why is that?)
- Correspondence assertions for process synchronization in concurrent communications
- The type discipline of behavioral separation
- Foundations of Software Science and Computation Structures
- Typing correspondence assertions for communication protocols
- Type checking a multithreaded functional language with session types
- Types as models: model checking message-passing programs
- A generic type system for the pi-calculus
- Title not available (Why is that?)
- Spatial and behavioral types in the pi-calculus
- Conversation types
- LoLA
- SLMC
- BPEL2PN
- Polyglot
- Lilac
- Pict
- Rebeca
- Cyclone
- CDuce
- Fugue
- PLURAL
- Spatial-behavioral types for concurrency and resource control in distributed systems
- CoBoxes
- LocUsT
- PLAN
- Alms
- TyPiCal
- AmbientTalk
- Strong normalisation in the \(\pi\)-calculus
- A Calculus for Orchestration of Web Services
- On projecting processes into session types
- Programming Languages and Systems
- Modular session types for objects
- Spatial-Behavioral Types, Distributed Services, and Resources
- Deadlock detection in linear recursive programs
- A new type system for JVM lock primitives
- Subtyping for session types in the pi calculus
This page was built for software: PIPER
