An abstract machine for concurrent modular systems: CHARM

From MaRDI portal
Publication:1314422

DOI10.1016/0304-3975(94)90206-2zbMath0801.68055OpenAlexW1989969984MaRDI QIDQ1314422

Andrea Corradini, Ugo Montanari, Francesca Rossi

Publication date: 22 February 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90206-2




Related Items (5)




Cites Work




This page was built for publication: An abstract machine for concurrent modular systems: CHARM