BlenX Static and Dynamic Semantics

DOI10.1007/978-3-642-04081-8_4zbMath1254.68060OpenAlexW1540841445MaRDI QIDQ3184664

Paola Quaglia, Alessandro Romanel, Corrado Priami

Publication date: 22 October 2009

Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Systems biology, networks (92C42)

Related Items (2)

The Attributed Pi-Calculus with Priorities ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

Uses Software

• occam-pi
• BlenX

Cites Work

• Communicating by compatibility
• Communicating Sequential Processes. The First 25 Years

This page was built for publication: BlenX Static and Dynamic Semantics