scientific article; zbMATH DE number 7308468
From MaRDI portal
Publication:5150150
zbMath1454.68075MaRDI QIDQ5150150
Edsko Devries, Adrian Francalanza, Matthew G. Hennessy
Publication date: 9 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.3
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication:
