Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LANGAGE CCS")

Results 1 to 4 of 4

  • Page / 1
Export

Selection :

  • and

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

  • Page / 1