A Sorted Semantic Framework for Applied Process Calculi

DOI10.2168/LMCS-12(1:8)2016zbMath1448.68331MaRDI QIDQ2800971

Björn Victor, Joachim Parrow, Johannes Borgström, Ramūnas Gutkovas, Johannes Åman Pohjola

Publication date: 19 April 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

theorem provingpattern matchingexpressivenesstype systemspi-calculusnominal sets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Declarative event based models of concurrency and refinement in psi-calculi

This page was built for publication: A Sorted Semantic Framework for Applied Process Calculi