Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, S
104,25 €
The field of semantics for concurrency has attracted a number of formalisms, ranging from algebra and automata theory, through logic and topology to category theory. Semantics for Concurrency. A General Tableau Technique for Verifying Temporal Properties of Concurrent Programs (Extended Abstract).
Jetzt bei Ebay:
