Andere Kunden interessierten sich auch für
![Tools and Algorithms for the Construction and Analysis of Systems]( "Tools and Algorithms for the Construction and Analysis of Systems")
Tools and Algorithms for the Construction and Analysis of Systems39,99 €![The Temporal Logic of Reactive and Concurrent Systems]( "The Temporal Logic of Reactive and Concurrent Systems")
The Temporal Logic of Reactive and Concurrent Systems39,99 €![Partial-Order Methods for the Verification of Concurrent Systems]( "Partial-Order Methods for the Verification of Concurrent Systems")
Partial-Order Methods for the Verification of Concurrent Systems40,99 €![The Temporal Logic of Reactive and Concurrent Systems]( "The Temporal Logic of Reactive and Concurrent Systems")
The Temporal Logic of Reactive and Concurrent Systems85,99 €![Semantics of Systems of Concurrent Processes]( "Semantics of Systems of Concurrent Processes")
Semantics of Systems of Concurrent Processes40,99 €![Tools and Algorithms for the Construction and Analysis of Systems]( "Tools and Algorithms for the Construction and Analysis of Systems")
Tools and Algorithms for the Construction and Analysis of Systems40,99 €![TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989]( "TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989")
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 198940,99 €
Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the ¿failure¿ sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 ¿ parallel combinator reduction machine ¿.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the "trains" problem.- The train set problem.- Conclusions.