Semantics of Concurrent Computation: Proceedings of the International Symposium
41,89 €
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:
