Sciweavers

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

29

CJ
2002

favoriteEmaildiscussreport

79views more CJ 2002»

A Modal Logic for Full LOTOS based on Symbolic Transition Systems

13 years 10 months ago

A Modal Logic for Full LOTOS based on Symbolic Transition Systems

Download www.dcs.gla.ac.uk

Muffy Calder, Savi Maharaj, Carron Shankland

Real-time Traffic

CJ 2002 |

claim paper

Related Content

» Symbolic Bisimulation for Full LOTOS

» An Adequate Logic for Full LOTOS

» Implementing a Modal Logic over Data and Processes using XTL

» Executable structural operational semantics in Maude

» On the consistency expressiveness and precision of partial modeling formalisms

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2002
Where	CJ
Authors	Muffy Calder, Savi Maharaj, Carron Shankland

Comments (0)