Algebraic specification
Process algebra
An algebraic generalization of Frege structures—binding algebras
Theoretical Computer Science
Handbook of Process Algebra
Process Algebra with Timing
Fundamenta Informaticae
Computer assisted manipulation of algebraic process specifications
ACM SIGPLAN Notices
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
The syntax and semantics of timed $\mu CRL$
The syntax and semantics of timed $\'mu CRL$
Analysis of Timed Processes with Data Using Algebraic Transformations
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
Towards Formal Verification of ToolBus Scripts
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |