Title: Finite representations of CCS and TCSP programs by automata and Petri nets
Subjects: Distributed processing, Electronic data processing, Petri nets, Programming languages (Electronic computers), Traitement reparti, Petri-Netz, Automat, Reseaux de Petri, CCS, Programmierung, Langages de programmation, Parallelverarbeitung, TCSP