A Translation of the Pi-Calculus Into MONSTR

Простая страница элемента
dc.creatorBanach,Richard
dc.creatorBalázs,J.
dc.creatorPapadopoulos,George
dc.date1995
dc.date.accessioned2024-02-06T12:47:49Z
dc.date.available2024-02-06T12:47:49Z
dc.descriptionA translation of the pi-calculus into the MONSTR graph rewriting language is described and proved correct. The translation illustrates the heavy cost in practice of faithfully implementing the communication primitive of the pi-calculus and similar process calculi. It also illustrates the convenience of representing an evolving network of communicating agents directly within a graph manipulation formalism, both because the necessity to use delicate notions of bound variables and of scopes is avoided, and also because the standard model of graphs in set theory automatically yields a useful semantics for the process calculus. The correctness proof illustrates many features typically encountered in reasoning about graph rewriting systems, and particularly how serialisation techniques can be used to reorder an arbitrary execution into one having stated desirable properties.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-001-06-0339
dc.identifierhttps://lib.jucs.org/article/27130/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/6800
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 1(6): 339-398
dc.subjectConcurrency
dc.subjectPi-Calculus
dc.subjectTerm Graph Rewriting
dc.subjectMONSTR
dc.subjectProcess Networks
dc.subjectSimulation
dc.subjectSerialisability.
dc.titleA Translation of the Pi-Calculus Into MONSTR
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ