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
- Types as models
- A Hybrid Type System for Lock-Freedom of Mobile Processes
- 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
- A generic type system for the pi-calculus
- Title not available (Why is that?)
- Spatial and behavioral types in the pi-calculus
- Conversation types
- Deadlock Detection in Linear Recursive Programs
- 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
- A new type system for JVM lock primitives
- Formal Methods for Open Object-Based Distributed Systems
- Subtyping for session types in the pi calculus
This page was built for software: PIPER
