PIPER

swMATH11478MaRDI QIDQ23420

No author found.

Related Items (28)

On projecting processes into session types ⋮ A generic type system for the pi-calculus ⋮ Modular session types for objects ⋮ Type checking a multithreaded functional language with session types ⋮ The type discipline of behavioral separation ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ Unnamed Item ⋮ Conversation types ⋮ Typing correspondence assertions for communication protocols ⋮ An algebra of behavioural types ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ A Hybrid Type System for Lock-Freedom of Mobile Processes ⋮ Spatial and behavioral types in the pi-calculus ⋮ Spatial-behavioral types for concurrency and resource control in distributed systems ⋮ An algebraic theory for web service contracts ⋮ A new type system for JVM lock primitives ⋮ Unnamed Item ⋮ Regular and context-free nominal traces ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Deadlock Detection in Linear Recursive Programs ⋮ Types as models ⋮ Correspondence assertions for process synchronization in concurrent communications ⋮ A Calculus for Orchestration of Web Services ⋮ Spatial-Behavioral Types, Distributed Services, and Resources ⋮ Formal Methods for Open Object-Based Distributed Systems ⋮ Programming Languages and Systems ⋮ Foundations of Software Science and Computation Structures ⋮ Subtyping for session types in the pi calculus

This page was built for software: PIPER