Search results for: Silvano Zilio
Lecture Notes in Computer Science > Programming Languages and Systems > Models and Languages for Web Services > 48-63
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Typed concurrent objects > 409-424
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Annotated Bibliographies > 206-222
Lecture Notes in Computer Science > Membrane Computing > 153-167
Lecture Notes in Computer Science > Trustworthy Global Computing > Calculi for Distributed Systems > 167-182
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 152-167