PIPER
From MaRDI portal
Software:23420
swMATH11478MaRDI QIDQ23420FDOQ23420
Author name not available (Why is that?)
Cited In (28)
- 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
- Spatial-behavioral types for concurrency and resource control in distributed systems
- 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
