A sorted semantic framework for applied process calculi

DOI10.2168/LMCS-12(1:8)2016MaRDI QIDQ2800971zbMATH OpenFDO

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

Publication date 19 April 2016

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

Full work available at URL https://doi.org/10.2168/LMCS-12(1:8)2016

zbMATH Keywords

expressivenessnominal setspattern matchingpi-calculustheorem provingtype systems

Mathematics Subject Classification ID

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

Recommendations

• A sorted semantic framework for applied process calculi (extended abstract)
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Extended pi-Calculi
• scientific article; zbMATH DE number 1759603
• The Applied Pi Calculus

Cited in

(2)

• Declarative event based models of concurrency and refinement in psi-calculi
• A sorted semantic framework for applied process calculi (extended abstract)

This page was built for publication: A sorted semantic framework for applied process calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2800971)