01319nam2-2200397li-450 99000020681020331620180312154759.03-540-60915-60020681USA010020681(ALEPH)000020681USA01002068120001109d1996----km-y0itay0103----baengGWLogics for concurrencystructure versus automataFaron Moller [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XI, 266 p.ill.23 cmLecture notes in computer science104300100202642001Lecture notes in computer scienceelaboratori elettroniciprogrammazionelogica matematica0051Programmazione. Tecnica di sviluppo dei programmiMoller,FaronSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206810203316001 LNCS (1043)001900800100103835BKSCI1996060920001110USA011714ALANDI9020010201USA01101820020403USA011628PATRY9020040406USA011615Logics for concurrency1501965UNISA