Type theory and concurrency

DOI10.1007/BF01383954zbMath0678.68017MaRDI QIDQ1124322

Prakash Panangaden, Rance Cleaveland

Publication date: 1988

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

zbMATH Keywords

theorem provingdenotational semanticsconcurrencytype theoryCCSnon-well-founded settheory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (5)

On process equivalence = equation solving in CCS ⋮ Formalizing process algebraic verifications in the calculus of constructions ⋮ Type theory and concurrency ⋮ Do-it-yourself type theory ⋮ Automating the refinement of specifications for distributed systems via syntactic transformations

Uses Software

• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Calculi for synchrony and asynchrony
• Type theory and concurrency
• A calculus of communicating systems
• Testing equivalences for processes
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Acceptance trees

This page was built for publication: Type theory and concurrency