Telecharger Cours

Concretizing software architectures using a formal language

1 for formal definition. ? 0: This indicates the nil process, which has no remaining computations. ?-calculus processes have two types of names: ...



Download