UTP Designs for Binary Multirelations

DOI10.1007/978-3-319-10882-7_23zbMath1432.68318OpenAlexW253313048MaRDI QIDQ2938175

Ana Cavalcanti, Pedro Ribeiro

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_23

zbMATH Keywords

semanticsrefinementUTPbinary multirelations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Angelic processes for CSP via the UTP

This page was built for publication: UTP Designs for Binary Multirelations