Bananas in space: extending fold and unfold to exponential types
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A brief history of process algebra
Theoretical Computer Science - Process algebra
A Variadic Extension of Curry's Fixed-Point Combinator
Higher-Order and Symbolic Computation
Instantiation for Parameterised Boolean Equation Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Selection functions, bar recursion and backward induction
Mathematical Structures in Computer Science
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Weak automata for the linear time µ-calculus
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
| Hi-index | 0.00 |