kw.\*:("LANGAGE CCS")
Results 1 to 4 of 4
Selection :
SEMANTICS OF CSP VIA TRANSLATION INTO CCSASTESIANO E; ZUCCA E.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 172-182; BIBL. 10 REF.Conference Paper
A TERM MODEL FOR CCSHENNESSY MCB; PLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 261-274; BIBL. 23 REF.Conference Paper
A language for linking modules into systemsTHORELLI, L.-E.BIT (Nordisk Tidskrift for Informationsbehandling). 1985, Vol 25, Num 2, pp 358-378, issn 0006-3835Article
Réseaux Prédicat/Transition Etiquetés pour la modélisation et la vérification de Systèmes Informatiques Répartis = Modeling and Verification of Distributed Systems with Labeled Predicate Transition NetsLloret, J.-Christophe; Azema, P.1990, 158 p.Thesis