Sökning: "Jesper Bengtson"
Hittade 1 avhandling innehållade orden Jesper Bengtson.
1. Formalising process calculi
Sammanfattning : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. LÄS MER
Resultatsidor:
1