Petri net models of concurrent Ada programs

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

A general-purpose algorithm for analyzing concurrent programs

Richard N. Taylor · Communications of the ACM · 1983 · 307 citations

Computing, Computer Science, Algorithms +15

A proposal for standard ML

Robin Milner · 1984 · 255 citations · Full text

Education, Information Systems, Decision Support Systems +4

Detection of Ada static deadlocks using Petri net invariants

T. Murata, B. Shenker, Sol M. Shatz · IEEE Transactions on Software Engineering · 1989 · 152 citations

Computing, Computer Engineering, Computer Science +14