Delayed choice for process algebra with abstraction

Autores
D'Argenio, Pedro Rubén; Mauw, Sjouke
Año de publicación
1995
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Publicado en Lecture Notes in Computer Science book series (LNCS, vol. 962).
Facultad de Ciencias Exactas
Materia
Matemática
Algebra
Process calculus
Structure (mathematical logic)
Branching (linguistics)
Conservative extension
Time complexity
Mathematics
Abstraction (linguistics)
Operator (computer programming)
Process (computing)
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/123147
Acceder
id SEDICI_cb63b79e390fbd13712f03a3d84264da
oai_identifier_str oai:sedici.unlp.edu.ar:10915/123147
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Delayed choice for process algebra with abstractionD'Argenio, Pedro RubénMauw, SjoukeMatemáticaAlgebraProcess calculusStructure (mathematical logic)Branching (linguistics)Conservative extensionTime complexityMathematicsAbstraction (linguistics)Operator (computer programming)Process (computing)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.Publicado en <i>Lecture Notes in Computer Science</i> book series (LNCS, vol. 962).Facultad de Ciencias Exactas1995info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf501-515http://sedici.unlp.edu.ar/handle/10915/123147spainfo:eu-repo/semantics/altIdentifier/issn/0302-9743info:eu-repo/semantics/altIdentifier/issn/1611-3349info:eu-repo/semantics/altIdentifier/doi/10.1007/3-540-60218-6_38info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2026-04-15T11:36:20Zoai:sedici.unlp.edu.ar:10915/123147Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292026-04-15 11:36:21.271SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Delayed choice for process algebra with abstraction
title Delayed choice for process algebra with abstraction
spellingShingle Delayed choice for process algebra with abstraction
D'Argenio, Pedro Rubén
Matemática
Algebra
Process calculus
Structure (mathematical logic)
Branching (linguistics)
Conservative extension
Time complexity
Mathematics
Abstraction (linguistics)
Operator (computer programming)
Process (computing)
title_short Delayed choice for process algebra with abstraction
title_full Delayed choice for process algebra with abstraction
title_fullStr Delayed choice for process algebra with abstraction
title_full_unstemmed Delayed choice for process algebra with abstraction
title_sort Delayed choice for process algebra with abstraction
dc.creator.none.fl_str_mv D'Argenio, Pedro Rubén
Mauw, Sjouke
author D'Argenio, Pedro Rubén
author_facet D'Argenio, Pedro Rubén
Mauw, Sjouke
author_role author
author2 Mauw, Sjouke
author2_role author
dc.subject.none.fl_str_mv Matemática
Algebra
Process calculus
Structure (mathematical logic)
Branching (linguistics)
Conservative extension
Time complexity
Mathematics
Abstraction (linguistics)
Operator (computer programming)
Process (computing)
topic Matemática
Algebra
Process calculus
Structure (mathematical logic)
Branching (linguistics)
Conservative extension
Time complexity
Mathematics
Abstraction (linguistics)
Operator (computer programming)
Process (computing)
dc.description.none.fl_txt_mv 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.
Publicado en <i>Lecture Notes in Computer Science</i> book series (LNCS, vol. 962).
Facultad de Ciencias Exactas
description 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.
publishDate 1995
dc.date.none.fl_str_mv 1995
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/123147
url http://sedici.unlp.edu.ar/handle/10915/123147
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/issn/0302-9743
info:eu-repo/semantics/altIdentifier/issn/1611-3349
info:eu-repo/semantics/altIdentifier/doi/10.1007/3-540-60218-6_38
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
501-515
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1862569044537769984
score 13.203462

Publicaciones similares