M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages - Concepedia

Concepedia

Publication | Closed Access

M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages

55

Citations

2

References

1998

Year

Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Acta Informatica

Petri NetConcurrent Programming LanguagesEngineeringProgram AnalysisAutomated ReasoningConcurrent ProgrammingConcurrency TheoryFormal MethodsHigh-level Petri NetsParallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemParallel ComputingFormal VerificationSystem Software

References

	Year	Citations

Page 1

Page 1