Colored Petri Net model with automatic parallelization on real-time multicore architectures

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

OpenMP: an industry standard API for shared-memory programming

Leonardo Dagum, Ramesh Menon · IEEE Computational Science and Engineering · 1998 · 3.3K citations

Computing, Computer Science, High-performance Computing +15

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer · 2007 · 1.1K citations

Computing, Computer Science, Systems Engineering +11

Cilk

Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul et al. · 1995 · 1K citations · Full text

Computing, Computer Science, Computer Systems +17

Cilk

Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul et al. · ACM SIGPLAN Notices · 1995 · 289 citations

Computing, Computer Science, Computer Systems +17