A generic operator over discrete time intervals
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a system model for ensembles
Formal modeling
An algebraic approach for codesign
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |