Partial Order Based Design of Concurrent Systems.

Job Zwiers Wil Janssen

Published in: REX School/Symposium (1993)

Keyphrases

partial order
concurrent systems
partially ordered
total order
temporal logic
data mining
artificial intelligence
building blocks
conceptual graphs