Full abstraction of a real-time denotational semantics for an OCCAM-like language
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Some Considerations on Branching Areas of Time
Journal of Logic, Language and Information
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Separation Logic Semantics for Communicating Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
UML statecharts' PTL formal semantics
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Verifying simulink diagrams via a hybrid hoare logic prover
Proceedings of the Eleventh ACM International Conference on Embedded Software
| Hi-index | 0.00 |