Add to ORKGCommunication a : ISMM International workshop on parallel computing, Trani, Italy, september 1991SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11521 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Communication a : Proceedings CASE '89 (Third international workshop on computer-aided software engi...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Communication to : 3e colloque national en calcul de structure, Giens (France), 20-23 mai 1997SIGLEA...
Publie dans : \Conference PARLE 91, 1991\SIGLEAvailable at INIST (FR), Document Supply Service, unde...
SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Process algebra is a widely accepted and much used technique in the specification and verification o...
Publie dans : Science of Computer Programming, 19(1), 1992, p.25-59SIGLEAvailable at INIST (FR), Doc...
Publie dans : Actes seminaire de mecanique et productique, Chalons-sur-Marne, decembre 1991Available...
Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11369 ...
Second international conference on algebraic methodology and software technology, Iowa City (USA), m...
Process algebra represents a mathematically rigorous framework for modeling con-current systems of i...
Theme 1 - Reseaux et systemes - Projet Ep-AtrSIGLEAvailable from INIST (FR), Document Supply Service...
Presents a brief introduction to a process theory suitable for the specification of parallel or dist...
The awareness of the ideas characterized by Communicating Processes Architecture and their adoption ...
IRISA - Publication interne no 647, 40 p., mars 1992SIGLEAvailable at INIST (FR), Document Supply Se...
Communication a : Proceedings CASE '89 (Third international workshop on computer-aided software engi...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Communication to : 3e colloque national en calcul de structure, Giens (France), 20-23 mai 1997SIGLEA...
Publie dans : \Conference PARLE 91, 1991\SIGLEAvailable at INIST (FR), Document Supply Service, unde...
SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Process algebra is a widely accepted and much used technique in the specification and verification o...
Publie dans : Science of Computer Programming, 19(1), 1992, p.25-59SIGLEAvailable at INIST (FR), Doc...
Publie dans : Actes seminaire de mecanique et productique, Chalons-sur-Marne, decembre 1991Available...
Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11369 ...
Second international conference on algebraic methodology and software technology, Iowa City (USA), m...
Process algebra represents a mathematically rigorous framework for modeling con-current systems of i...
Theme 1 - Reseaux et systemes - Projet Ep-AtrSIGLEAvailable from INIST (FR), Document Supply Service...
Presents a brief introduction to a process theory suitable for the specification of parallel or dist...
The awareness of the ideas characterized by Communicating Processes Architecture and their adoption ...
IRISA - Publication interne no 647, 40 p., mars 1992SIGLEAvailable at INIST (FR), Document Supply Se...
Communication a : Proceedings CASE '89 (Third international workshop on computer-aided software engi...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Communication to : 3e colloque national en calcul de structure, Giens (France), 20-23 mai 1997SIGLEA...