ARITHMETIC AND MACHINE INSTRUCTIONS

Author: BUENO AROCA ANTONIO.
Year: 2005.
University: CASTILLA-LA MANCHA.
Place of defense: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Place of preparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Summary: TPALp is a language for algebraic description of concurrent systems with the capacity to express temporal behavior and probability, along with urgent interactions. This thesis presents the main features of this language, its operational semantics and a translation of terms TPALp in a particular class of networks and timed Petri probability. The language includes an operator of choice probability, a prefix timed operator and an operator of urgent prefix, in addition to other operators that can be found in the conventional process algebras. An important feature of the language is the treatment of urgency, because at every moment is urgent actions to implement many as possible, in order to comply fully with the urgent requirements of a specification. Also in this thesis have been dealt with aspects of compositionality network, restricting the scope to networks obtained from the translation of terms and included a method for network implementation.

Author: BUENO AROCA ANTONIO.
Year: 2005.
University: CASTILLA-LA MANCHA.
Place of defense: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Place of preparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Summary: TPALp is a language for algebraic description of concurrent systems with the capacity to express temporal behavior and probability, along with urgent interactions. This thesis presents the main features of this language, its operational semantics and a translation of terms TPALp in a particular class of networks and timed Petri probability. The language includes an operator of choice probability, a prefix timed operator and an operator of urgent prefix, in addition to other operators that can be found in the Álgebras processes classics. An important feature of the language is the treatment of urgency, because at every moment is urgent actions to implement many as possible, in order to comply fully with the urgent requirements of a specification. This thesis also have been dealt with aspects of compositionality network, restricting the scope to networks obtained from the translation of terms and included a method for network implementation.