Categorics for modelling communicating processes

Bibliographic Details
Main Authors: Labella, Anna (Author), Pettorossi, Alberto (Author), Petorossi, Alberto (Author)
Format: Article
Language:English
PhysicalDescription:Obr. 33. Res. rus., angl., lit. 15 zázn. v angl., franc.
Subjects:

MARC

LEADER 00000nab a2200000 a 4500
001 vtls000360757
003 SK-MaSNL
005 20260318140809.0
008 230217c1987 xo 0 eng
015 |a SNBRB19rr/mm-uuuuu 
035 |a CL0360879 
035 |a urn:nbn:sk:snk-ab1qf0 
035 |a (urnnbn)urn:nbn:sk:snk:ar-004zok 
035 |a (uuid)510007a3-7be0-44bf-9185-3ce0b03b4f46 
040 |a SNKBUCL  |b slo  |c SNKBUCL  |e AACR2 
041 0 |a eng 
044 |a xo  |c SK 
080 |a 519.682:519.711  |2 1981 
080 |a 519.711  |2 1981 
100 1 |a Labella, Anna  |4 aut  |9 1153784 
245 1 0 |a Categorics for modelling communicating processes  |c Anna Labella, Alberto Pettorossi ; Alberto Petorossi 
300 |b Obr. 33. Res. rus., angl., lit. 15 zázn. v angl., franc. 
650 0 7 |a CCS Milner (jazyk programovací)  |2 snkbucl  |9 1153785 
650 0 7 |a CSP Hoare (jazyk programovací)  |2 snkbucl  |9 1153786 
655 7 |a články z novín a časopisov  |2 snkbucl  |9 267496 
700 1 |a Pettorossi, Alberto  |4 aut  |9 1153787 
700 1 |a Petorossi, Alberto  |4 aut  |9 1153788 
773 0 |t Computers and artificial intelligence  |g Roč. 6, č. 4 (1987), s. 279-296 
850 |a Slovenská národná knižnica v Martine  |a MTA001 
852 |a SNK  |b KIS3GCP 
958 |a NB 
958 |a RK 
958 |a OND 
958 |a EUIPO 
958 |a article27 
992 |a RBX 
999 |c 1959986  |d 1961916