Login / Signup
Granularity of modules in object-based concurrent systems.
Peter Wegner
Published in:
ACM SIGPLAN Notices (1989)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
model checking
transition systems
petri net
formal specification
building blocks
modular structure
functional modules
modular architecture
knowledge acquisition
expert systems
fine granularity
image sequences
genetic algorithm
machine learning