Constructing Programs or Processes

Простая страница элемента
dc.creatorReeves,Steve
dc.creatorStreader,David
dc.date2005
dc.date.accessioned2024-02-06T12:54:03Z
dc.date.available2024-02-06T12:54:03Z
dc.descriptionWe define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented and what cannot. As we demonstrate it is problematic to do so on the set of all processes. Guided by constructivist notions we have constructed interacting sequential programs which we claim can be readily implemented and are a subset of processes.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-011-12-2034
dc.identifierhttps://lib.jucs.org/article/28529/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8903
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 11(12): 2034-2045
dc.subjectprocess algebra
dc.subjectdeterminism
dc.subjectcause
dc.subjectrefinement
dc.subjectconstructive
dc.titleConstructing Programs or Processes
dc.typeResearch Article
Файлы
Коллекции