Sökning: "bisimulation"
Visar resultat 16 - 16 av 16 avhandlingar innehållade ordet bisimulation.
16. On Modelling and Analysing Concurrent Systems
Sammanfattning : In order to verify program correctness one needs an appropriate programming language, a specification of the program correctness, and some methods to prove the program correct. We examine two of these aspects: a language for writing a particular kind of concurrent programs, that is modelling concurrent systems, and methods to prove certain correctness properties of concurrent programs, that is analysing concurrent systems. LÄS MER