Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2021-08-23T15:05:49Z
dc.date.available 2021-08-23T15:05:49Z
dc.date.issued 1995
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/123147
dc.description.abstract The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specifications and in verification to reduce irrelevant branching structure of a process. en
dc.format.extent 501-515 es
dc.language es es
dc.subject Algebra es
dc.subject Process calculus es
dc.subject Structure (mathematical logic) es
dc.subject Branching (linguistics) es
dc.subject Conservative extension es
dc.subject Time complexity es
dc.subject Mathematics es
dc.subject Abstraction (linguistics) es
dc.subject Operator (computer programming) es
dc.subject Process (computing) es
dc.title Delayed choice for process algebra with abstraction en
dc.type Objeto de conferencia es
sedici.identifier.other doi:10.1007/3-540-60218-6_38 es
sedici.identifier.issn 0302-9743 es
sedici.identifier.issn 1611-3349 es
sedici.creator.person D'Argenio, Pedro Rubén es
sedici.creator.person Mauw, Sjouke es
sedici.description.note Publicado en Lecture Notes in Computer Science book series (LNCS, vol. 962). es
sedici.subject.materias Matemática es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Ciencias Exactas es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.date.exposure 1995
sedici.relation.event 6th International Conference on Concurrency Theory (Philadelphia, PA, USA, August 21-24, 1995) es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Versión preliminar
Descargar archivo (215.8Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)