Paper Info
Title
The Refinement of Event Calculus Models
Year
DOI
Venue
1999
10.1007/978-1-4471-0851-1_9
IFM
Keywords
Field
DocType
event calculus models,event calculus
Event calculus,Z notation,Programming language,Situation calculus,Refinement calculus,Computer science,Calculus of communicating systems,Finite-state machine,Process calculus,Rotation formalisms in three dimensions
Conference
ISBN
Citations 
PageRank 
1-85233-107-0
0
0.34
References 
Authors
9
2
Name
Order
Citations
PageRank
Bill Stoddart113515.69
Steve Dunne215414.75