Wird geladen...
Algebra and coalgebra in computer science second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
Invited Talks -- Regular and Algebraic Words and Ordinals -- Logical Semantics of Types for Concurrency -- Deriving Bisimulation Congruences with Borrowed Contexts -- Symmetry and Concurrency -- Contributed Papers -- Ready to Preorder: Get Your BCCSP Axiomatization for Free! -- Impossibility Result...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Livro |
| Sprache: | Inglês |
| Veröffentlicht: |
Springer,
2007.
|
| Schriftenreihe: | Lecture notes in computer science |
| Schlagworte: | |
| Online Zugang: | https://minerva.ufrj.br/F/?func=direct&doc_number=000905636&local_base=UFR01 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|