Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ENTCS
2002

favoriteEmaildiscussreport

51views more ENTCS 2002»

A Logical Process Calculus

13 years 4 months ago

A Logical Process Calculus

Download www.cs.odu.edu

Rance Cleaveland, Gerald Lüttgen

Real-time Traffic

ENTCS 2002 |

claim paper

Related Content

» A Concurrent Model for Linear Logic

» Functions as SessionTyped Processes

» Systems Modelling via Resources and Processes Philosophy Calculus Semantics and Logic

» A Calculus and logic of resources and processes

» A categorical quantum logic

» Epistemic Logic for the Applied Pi Calculus

» Generation Lambek Calculus Montagues Semantics and Semantic Proof Nets

» A Process Calculus for Mobile Ad Hoc Networks

» PiCalculus in Logical Form

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	ENTCS
Authors	Rance Cleaveland, Gerald Lüttgen

Comments (0)