The Buffered π-Calculus: A Model for Concurrent Languages

DOI10.1007/978-3-642-37064-9_23zbMath1377.68147arXiv1212.6183OpenAlexW1721896311MaRDI QIDQ4910463

Yu Zhang, Xiaojie Deng, Farong Zhong, Yu-xin Deng

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.6183

zbMATH Keywords

full abstractionprocess calculusformal model

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Erlang
• go

This page was built for publication: The Buffered π-Calculus: A Model for Concurrent Languages