Proof-theoretic foundations for the design of actor systems

DOI10.1017/S0960129599002765zbMath0931.68065OpenAlexW1987036270MaRDI QIDQ4261312

Carlos H. C. Duarte

Publication date: 7 February 2000

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

Full work available at URL: https://doi.org/10.1017/s0960129599002765

zbMATH Keywords

concurrencyopen distributed systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

Modeling Actor Systems Using Dynamic I/O Automata

This page was built for publication: Proof-theoretic foundations for the design of actor systems