A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Reasoning about networks with many identical finite-state processes
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Semantical Principles in the Modal Logic of Coalgebras
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Undecidable problems in unreliable computations
Theoretical Computer Science - Latin American theoretical informatics
Four combinators for concurrency
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
A semantic and methodological essence of message sequence charts
Science of Computer Programming
A brief history of process algebra
Theoretical Computer Science - Process algebra
Small bisimulations for reasoning about higher-order imperative programs
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A modal proof theory for final polynomial coalgebras
Theoretical Computer Science
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Solving μ-Calculus Parity Games by Symbolic Planning
Model Checking and Artificial Intelligence
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Model-driven design-space exploration for embedded systems: the octopus toolset
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A stochastic interpretation of propositional dynamic logic: expressivity
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Characteristic formulae for the verification of imperative programs
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
Cedalion: a language for language oriented programming
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
The variable hierarchy of the µ-calculus is strict
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Accelerated modal abstractions of labelled transition systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Synchronous message passing: on the relation between bisimulation and refusal equivalence
Concurrency, Compositionality, and Correctness
On the relationship between spatial logics and behavioral simulations
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Full abstraction at package boundaries of object-oriented languages
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Bisimulations for untyped imperative objects
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Program equivalence in a simple language with state
Computer Languages, Systems and Structures
Verifying backwards compatibility of object-oriented libraries using Boogie
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Epistemic Strategies and Games on Concurrent Processes
ACM Transactions on Computational Logic (TOCL)
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Deciding the bisimilarity relation between datalog goals
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Bring your own device, securely
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |