Sciweavers

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

25

TOMACS
1998

favoriteEmaildiscussreport

43views more TOMACS 1998»

A Denotational Semantics for a Process-Based Simulation Language

13 years 10 months ago

A Denotational Semantics for a Process-Based Simulation Language

Download www.cs.mcgill.ca

Chris M. N. Tofts, Graham M. Birtwistle

Real-time Traffic

TOMACS 1998 |

claim paper

Related Content

» Full Abstraction for HOPLA

» B2M A Semantic Based Tool for BLIF Hardware Descriptions

» Callbypushvalue Decomposing callbyvalue and callbyname

» Modeling Timed Concurrent Systems

» Local Holism

» A Functional Programming Framework for Latency Insensitive Protocol Validation

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	TOMACS
Authors	Chris M. N. Tofts, Graham M. Birtwistle

Comments (0)