Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Programming languages, analysis tools, and concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Categories of Processes Enriched in Final Coalgebras
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
A Fully Complete PER Model for ML Polymorphic Types
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
A categorical framework for finite state machines
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic
Mathematical Structures in Computer Science
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
From proof-nets to bordisms: the geometric meaning of multiplicative connectives
Mathematical Structures in Computer Science
A structural approach to reversible computation
Theoretical Computer Science
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Algebraic fusion of functions with an accumulating parameter and its improvement
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Event Domains, Stable Functions and Proof-Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformal Field Theory as a Nuclear Functor
Electronic Notes in Theoretical Computer Science (ENTCS)
Labelled Markov Processes as Generalised Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Attribute Grammars and Categorical Semantics
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Algebraic fusion of functions with an accumulating parameter and its improvement
Journal of Functional Programming
On traced monoidal closed categories
Mathematical Structures in Computer Science
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
Partially additive categories and fully complete models of linear logic
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Petri nets, discrete physics, and distributed quantum computation
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Processing in Convex Operational Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a geometry of recursion
Theoretical Computer Science
Musings around the geometry of interaction, and coherence
Theoretical Computer Science
The geometry and algebra of commitment
Ludics, dialogue and interaction
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Formalising business process execution with bigraphs and reactive XML
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Identities in modular arithmetic from reversible coherence operations
RC'13 Proceedings of the 5th international conference on Reversible Computation
Hi-index | 0.00 |