Foundations of distributed multiscale computing: Formalization, specification, and analysis

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text

Event-driven Architecture, Engineering, Concurrent System +17

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Engineering, Guarded Command, Software Analysis +19

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

Engineering, Guarded Command, Software Analysis +19

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

Wil M. P. van der Aalst · Journal of Circuits Systems and Computers · 1998 · 2.7K citations

Petri Net, Engineering, Petri Net Theory +16

A formal basis for architectural connection

Robert J. Allen, David Garlan · ACM Transactions on Software Engineering and Methodology · 1997 · 1.2K citations

Engineering, Architectural Engineering, Verification +20