Rosette: An object-oriented concurrent systems architecture.

Chris Tomlinson Won Kim Mark Scheevel Vineet Singh Becky Will Gul Agha

Published in: ACM SIGPLAN Notices (1989)

Keyphrases

software architecture
concurrent systems
distributed systems
process algebra
temporal logic
petri net
transition systems
object oriented
model checking
real time
loosely coupled
database
data sets
formal specification
neural network