| 
|
Quote: combine Petri net theory with a compositional view of systems; like combining Turing machines with lambda-calculus
topics >
all references >
references m-o >
Topic:
abstraction in programming
Topic:
specification and design of distributed systems
Topic:
lambda calculus
Topic:
Petri net
Topic:
calculus of communicating processes
Quotation Skeleton
What I always wanted to advance, to complement … This is essentially an algebraic view, for algebra … calculus, in contrast with--say--the classical theory of automata. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: abstraction in programming (67 items)
Topic: specification and design of distributed systems (14 items)
Topic: lambda calculus (14 items)
Topic: Petri net (44 items)
Topic: calculus of communicating processes (13 items)