Sökt på: Sökresultat

This book is concerned with a number of theories that can be used for describ- ing and analyzing systems of interacting components in case it is desirable or necessary to regard …

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the …