Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
A Concurrent Model for Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebraic approach for managing inconsistencies in software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
Unifying behavioral equivalences of timed transition systems
Programming and Computing Software
Compositional methods in characterization of timed event structures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
Rational Processes And Linear Systems In Gsp
Fundamenta Informaticae
Composition methods for constructing characteristic formulas for dense-time models
Programming and Computing Software
Hi-index | 0.00 |