Sub-behaviour relations for session-based client/server systems

DOI10.1017/S096012951400005XzbMath1361.68159MaRDI QIDQ5740659

Franco Barbanera, Ugo de'Liguoro

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

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