Search results for: Marcello M. Bonsangue
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Concurrent and Distributed Systems > 37-51
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Categorical Models > 172-186
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 359-376
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 260-275
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Coalgebraic Modal Logics > 455-469
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 212-221
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science