Journal of the ACM (JACM)
Transition systems, infinitary languages and the semantics of uniform concurrency
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination
Proceedings of the 17th International Software Product Line Conference co-located workshops
Hi-index | 0.00 |