• Publications
  • Influence
Distributed cooperation with action systems
TLDR
We show that for fairly serializable systems, properties that hold for any concurrent execution of the system can be established by temporal proofs that are conducted entirely within the simpler sequential execution model. Expand
  • 308
  • 15
Decentralization of Process Nets with Centralized Control
TLDR
The behavior of a net of interconnected, communicating processes is described in terms of the joint actions in which the processes can participate. Expand
  • 300
  • 14
DisCo specification language: marriage of actions and objects
TLDR
The potential of the action-oriented paradigm has been explored in the development of a specification language, DisCo, which can be characterized as both action- oriented and object-oriented. Expand
  • 74
  • 7
  • PDF
Decentralization of process nets with centralized control
TLDR
The behavior of a net of interconnected, communicating processes is described in terms of the joint actions in which the processes can participate. Expand
  • 201
  • 6
On computing the transitive closure of a relation
TLDR
An algorithm is presented for computing the transitive closure of an arbitrary relation which is based upon Tarjan's algorithm [7] for finding the strongly connected components of a directed graph. Expand
  • 45
  • 5
  • PDF
Object-oriented specification of reactive systems
TLDR
A novel approach to the operational specification of concurrent systems that leads to an object-oriented specification language is presented, and it emphasizes structured derivation of specifications. Expand
  • 113
  • 3
Serializability in Distributed Systems with Handshaking
TLDR
The equivalence of the two models is shown, up to fairness properties. Expand
  • 44
  • 3
Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors
TLDR
We show that incremental derivation of operational models can be supported by a design methodology with a firm theoretical foundation, and that formal reasoning on behavioral properties is possible already in early stages of specification. Expand
  • 37
  • 3
A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors
  • R. Kurki-Suonio
  • Computer Science
  • Texts in Theoretical Computer Science. An EATCS…
  • 17 February 2005
TLDR
This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. Expand
  • 32
  • 2
Action systems in incremental and aspect-oriented modeling
TLDR
Action systems were first introduced as an execution model that made it possible to model distributed systems at a high level of abstraction and to refine these models into implementation descriptions. Expand
  • 11
  • 2