Citation Impact
Citing Papers
When and how to develop domain-specific languages
2005 Standout
CCS expressions, finite state processes, and three problems of equivalence
1990
A classification and comparison framework for software architecture description languages
2000 Standout
Efficient annotated terms
2000
Analytic and Algorithmic Solution of Random Satisfiability Problems
2002 StandoutScienceNobel
From ATP to timed graphs and hybrid systems
1993
Process algebra for performance evaluation
2002
A calculus of mobile processes, I
1992 Standout
Security, privacy and trust in Internet of Things: The road ahead
2014 Standout
(ML)2: A formal language for KADS models of expertise
1992
A process algebraic approach to the specification and analysis of resource-bound real-time systems
1994
A Formalization of Knowledge‐Level Models for Knowledge Acquisition
1993
Toward principles for the design of ontologies used for knowledge sharing?
1995 Standout
Scheduler Modeling Based on the Controller Synthesis Paradigm
2002
Domain-specific languages
2000
Generation of formatters for context-free languages
1996
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
1998
The Cavity Method at Zero Temperature
2003 StandoutNobel
Introduction to the ISO specification language LOTOS
1987 Standout
Knowledge engineering: Principles and methods
1998 Standout
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
Pushdown automata, multiset automata, and Petri nets
2001
A brief history of process algebra
2005
Algebraic Specification
1990
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
2007 Standout
Model-checking algorithms for continuous-time markov chains
2003 Standout
Semantics of programming languages
2000
The algorithmic analysis of hybrid systems
1995 Standout
Pellet: A practical OWL-DL reasoner
2007 Standout
Model-based evaluation: from dependability to security
2004 Standout
Works of J.A. Bergstra being referenced
Algebra of communicating processes
1984
Ready trace semantics for concrete process algebra with priority operator
1985
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
1995
The discrete time ToolBus — A software coordination architecture
1998
Toward a complete transformational toolkit for compilers
1997
Algebraic specifications of computable and semicomputable data types
1987
Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
1983
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
1987
Process algebra: specification and verification in bisimulation semantics
1986
Process algebra for synchronous communication
1984
The Discrete Time ToolBus
1996
Algebra of communicating processes with abstraction
1985
Decidability of bisimulation equivalence for process generating context-free languages
1993
Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
1986
The completeness of the algebraic specification methods for computable data types
1982
Module algebra
1990