581386
Rinnakkaisten järjestelmien ulkoinen käyttäytyminen
Yttre funktioner hos parallella system
Externally observable behaviour of concurrent systems
Toistuminen
Ei tarjota