Semantics of Concurrent Computation: Proceedings of the International Symposium
40,78 €
The temporal semantics of concurrent programs. - On properties preserved by contractions of concurrent systems. - Static analysis of concurrent processes for dynamic properties using Petri Nets. - A characterization of concurrency-like relations.
Jetzt bei Ebay:
