Theoretical Computer Science, Volume 177

Volume 177, Number 1, 30 April 1997

Tenth Conference on Mathematical Foundations of Programming Semantics, Kansas State University, March, 1994

S. O. Anderson, John Power:
A Representable Approach to Finite Nondeterminism. 3-25
Electronic Edition (link) BibTeX
Torben Braüner:
A General Adequacy Result for a Linear Functional Language. 27-58
Electronic Edition (link) BibTeX
Antonio Bucciarelli:
Degrees of Parallelism in the Continuous Type Hierarchy. 59-71
Electronic Edition (link) BibTeX
J. Robin B. Cockett, David A. Spooner:
Constructing Process Categories. 73-109
Electronic Edition (link) BibTeX
Bob Flagg, Ralph Kopperman:
Continuity Spaces: Reconciling Domains and Metric Spaces. 111-138
Electronic Edition (link) BibTeX
Doris Nolte, Lutz Priese:
Abstract Fairness and Semantics. 139-153
Electronic Edition (link) BibTeX
Guo-Qiang Zhang, William C. Rounds:
Defaults in Domain Theory. 155-182
Electronic Edition (link) BibTeX
Gary T. Leavens, Don Pigozzi:
The Behavior-Realization Adjunction and Generalized Homomorphic Relations. 183-216
Electronic Edition (link) BibTeX
Zoltán Ésik:
Completeness of Park Induction. 217-283
Electronic Edition (link) BibTeX

Algebra of Communicating Processes

Alban Ponse, Chris Verhoef, Bas van Vlijmen:
Algebra of Communicating Processes - Preface to the Special Issue. 285-286
Electronic Edition (link) BibTeX
Jos L. M. Vrancken:
The Algebra of Communicating Processes With Empty Process. 287-328
Electronic Edition (link) BibTeX
Rob J. van Glabbeek:
Notes on the Methodology of CCS and CSP. 329-349
Electronic Edition (link) BibTeX
Pedro R. D'Argenio, Chris Verhoef:
A General Conservative Extension Theorem in Process Algebras with Inequalities. 351-380
Electronic Edition (link) BibTeX
Jos C. M. Baeten, Jan A. Bergstra:
Process Algebra with Propositional Signals. 381-405
Electronic Edition (link) BibTeX
Wan Fokkink, Hans Zantema:
Termination Modulo Equations by Abstract Commutation with an Application to Iteration. 407-423
Electronic Edition (link) BibTeX
Jos van Wamel:
Process Algebra with Language Matching. 425-458
Electronic Edition (link) BibTeX
Lars-Åke Fredlund, Jan Friso Groote, Henri Korver:
Formal Verification of a Leader Election Protocol in Process Algebra. 459-486
Electronic Edition (link) BibTeX
Marc Bezem, Alban Ponse:
Two Finite Specifications of a Queue. 487-507
Electronic Edition (link) BibTeX