Concepedia

Formal semantics of a class of high-level primitives for coordinating concurrent processes

P. E. Lauer, Roy H. Campbell

Acta Informatica · 1975 · 105 citations · 3 references

Concepts

ComputingComputer EngineeringComputer ScienceDistributed SystemsFormal MethodsProgramming LanguagesConcurrency ControlConcurrent ProgrammingFormal SemanticsInterprocess CommunicationProcess CoordinationSynchronization PrimitivesCommunication PrimitivesConcurrency PrimitivesConcurrency SemanticsConcurrent Process ModelingConcurrent ProcessesProcess Synchronization PrimitivesSynchronization Semantics

References

3

Cooperating Sequential Processes

E. Dijkstra · 1968 · 349 citations · Full text

ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS

M. Hack · DSpace@MIT (Massachusetts Institute of Technology) · 1972 · 326 citations · Full text

Engineering, Systems Engineering, Production Engineering +11

Limitations of Dijkstra's Semaphore Primitives and Petri nets

S. Rao Kosaraju · 1973 · 50 citations · Full text

Computing, Computer Science, Computer Systems +16