Concepedia

Basic protocols, message sequence charts, and the verification of requirements specifications

J. V. Kapitonova, A. A. Letichevsky, V. A. Volkov, Thomas Weigert

Computer Networks · 2005 · 76 citations · 8 references

DOI

Concepts

References

8

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

Process algebra for synchronous communication

J.A. Bergstra, Jan Willem Klop · Information and Control · 1984 · 880 citations · Full text

, , +6

Message sequence chart : syntax and semantics

Michel Reniers · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1999 · 98 citations · Full text

, , +8

Pomsets for message sequence charts

Joost-Pieter Katoen, Lennard Lambert · University of Twente Research Information · 1998 · 46 citations · Full text

, , +13