Search results for: Rocco Nicola
Lecture Notes in Computer Science > Automata, Languages and Programming > Concurrency II > 1226-1238
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 438-466
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Papers > 9-25
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 301-315
Lecture Notes in Computer Science > Scientific Engineering for Distributed Java Applications > Jada-Coordination and Communication for Java Agents > 175-184