We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste’s concurrent automata and Arnold’s CCI sets of P-traces, studied in the framework of local trace languages. Also, a connection between these models and classical traces is presented in details through a natural notion of projection. These relationships e...

This paper presents an approach to prove event ordering properties for B specifications of information systems. The properties are expressed using the eb notation, where input event ordering properties are defined using a process algebra similar to CSP and output events are specified by recursive functions on the input traces associated to the process expression. By proving that the eb specific...

This paper studies the denotational semantics of the typed asynchronous π-calculus. We describe a simple game semantics of this language, placing it within a rich hierarchy of games models for programming languages, A key element of our account is the identification of suitable categorical structures for describing the interpretation of types and terms at an abstract level. It is based on the n...

a method for solving the descriptor discrete-time linear system is focused. for easily, it is converted to a standard discrete-time linear system by the definition of a derivative state feedback. then partial eigenvalue assignment is used for obtaining state feedback and solving the standard system. in partial eigenvalue assignment, just a part of the open loop spectrum of the standard linear s...

In the paper [25], written in collaboration with Gesine Reinert, we proved a universality principle for the Gaussian Wiener chaos. In the present work, we aim at providing an original example of application of this principle in the framework of random matrix theory. More specifically, by combining the result in [25] with some combinatorial estimates, we are able to prove multi-dimensional centr...

In this paper a new discrete isospectral problem is constructed, from which a new Lax integrable discrete equation is generated and obtain its hierarchy structure. The Hamiltonian structures for the hierarchy of the Lax integrable discrete equation is established by using the trace identity which was proposed by Tu.