A timed semantics of Orc

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Workflow Patterns

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski et al. · Distributed and Parallel Databases · 2003 · 2.6K citations · Full text

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

A Process Algebra for Timed Systems

Matthew Hennessy, Tim Regan · Information and Computation · 1995 · 261 citations

Computing, Computer Science, Computer Systems +14

The Algebra of Timed Processes, ATP: Theory and Application

Xavier Nicollin, Joseph Sifakis · Information and Computation · 1994 · 261 citations

Engineering, Mathematics, Dynamical Systems +9