A Sorted Semantic Framework for Applied Process Calculi
From MaRDI portal
Publication:2800971
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)
Related Items (1)
This page was built for publication: A Sorted Semantic Framework for Applied Process Calculi