| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465439903316 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 259 p. 7 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7399 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer |
|
|
|
|
|
|
|
|
|
|
|
|
|
Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996574669103316 |
|
|
Titolo |
2020 Workshop on Exascale MPI (ExaMPI) / / Institute of Electrical and Electronics Engineers |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Piscataway : , : IEEE, , 2020 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (various pagings) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
The aim of this workshop is to bring together developers and researchers to present and discuss innovative algorithms, protocols, operations, and concepts in Message Passing programming models, in particular related to MPI or MPI X. |
|
|
|
|
|
|
|
| |