Publication:4513619
From MaRDI portal
zbMath0968.68018MaRDI QIDQ4513619
No author found.
Publication date: 19 November 2000
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
00B30: Festschriften
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Logic-Free Reasoning in Isabelle/Isar, From rewrite rules to bisimulation congruences, An axiomatic semantics for Esterel, Linear realizability and full completeness for typed lambda-calculi, A concurrent lambda calculus with futures, A basic algebra of stateless connectors, Innovations in computational type theory using Nuprl, Comparing communication primitives via their relative expressive power, Primitives for authentication in process algebras., Compositional SOS and beyond: A coalgebraic view of open systems, The cones and foci proof technique for timed transition systems, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Rewriting logic: Roadmap and bibliography, A calculus for reasoning about software composition, A game semantics for generic polymorphism, An ``abstract process approach to algebraic dynamic architecture description, Normal forms for algebras of connections., Decoding choice encodings, Full abstraction for PCF, Modular structural operational semantics, On the \(\lambda Y\) calculus, Continuity controlled hybrid automata, Recursively defined metric spaces without contraction, The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems, Tutorial on separation results in process calculi via leader election problems, Modelling dynamic web data, CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence, Linear-Ordered Graph Grammars: Applications to Distributed Systems Design, Models of Computation: A Tribute to Ugo Montanari’s Vision