A sorted semantic framework for applied process calculi

DOI10.2168/LMCS-12(1:8)2016zbMATH Open1448.68331MaRDI QIDQ2800971FDOQ2800971

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)

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

zbMATH Keywords

pattern matchingtheorem provingexpressivenesspi-calculustype systemsnominal sets

Mathematics Subject Classification ID

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

Cited In (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

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