Coalgebraic Methods in Computer Science [[electronic resource] ] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers / / edited by Dirk Pattinson, Lutz Schröder |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 259 p. 7 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-642-32784-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics. |
Record Nr. | UNISA-996465439903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Patricia Bouyer, Lutz Schröder |
Autore | Bouyer Patricia |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xvi, 471 pages) : illustrations |
Altri autori (Persone) |
BouyerPatricia <1976->
SchröderLutz |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer software
Software engineering |
Soggetto non controllato |
Categorical models and logics
language theory, automata, and games modal, spatial, and temporal logics type theory and proof theory concurrency theory and process calculi rewriting theory semantics of programming languages program analysis logics of programming software specification and refinement models of concurrent systems emerging models of computation logical aspects of computational complexity correctness, transformation, and verification models of software security |
ISBN | 3-030-99253-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555236703321 |
Bouyer Patricia
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Patricia Bouyer, Lutz Schröder |
Autore | Bouyer Patricia |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xvi, 471 pages) : illustrations |
Altri autori (Persone) |
BouyerPatricia <1976->
SchröderLutz |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer software
Software engineering |
Soggetto non controllato |
Categorical models and logics
language theory, automata, and games modal, spatial, and temporal logics type theory and proof theory concurrency theory and process calculi rewriting theory semantics of programming languages program analysis logics of programming software specification and refinement models of concurrent systems emerging models of computation logical aspects of computational complexity correctness, transformation, and verification models of software security |
ISBN | 3-030-99253-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464553603316 |
Bouyer Patricia
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|