Specification diagrams for actor systems

DOI10.1023/A:1022934504959zbMath1020.68051OpenAlexW1550143818MaRDI QIDQ1870297

Scott F. Smith, Carolyn L. Talcott

Publication date: 11 May 2003

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022934504959

zbMATH Keywords

specificationactor systemsinteraction semanticsmessage passing behavior

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Modelling concurrent interactions, Modeling Actor Systems Using Dynamic I/O Automata, Unnamed Item