Applications of Automata and Concurrency Theory in Networks (Invited Paper)
- Silva, A.
DOIAbstract
Contains fulltext : 143604.pdf (publisher's version ) (Open Access)CONCUR 2015 : 26th International Conference on Concurrency Theor
Contains fulltext : 143604.pdf (publisher's version ) (Open Access)CONCUR 2015 : 26th International Conference on Concurrency Theor
Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurren...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX192044 / BLDSC - British Library Do...
This volume constitutes the proceedings of the 36th International Conferenceon Application and Theor...
AbstractThe purpose of this paper is twofold: to give a precise notion of a realization for simulati...
International audienceWe survey various automata models of concurrent systems and their connection w...
Abstract. We investigate the descriptive succinctness of three fundamental notions for modeling conc...
International audienceWe discuss conceptional and foundational aspects of Markov automata [22]. We p...
International audienceThis essay offers an overview of basic aspects and central development in Conc...
Concurrent and distributed behaviour encompasses a wide range of ever evolving phenomena and feature...
Automata Theory is part of computability theory which covers problems in computer systems, software,...
International audienceIn this paper we give a symbolic concurrent semantics for network of timed aut...
The authors emphasize the actual relevance and need of formal methods for the advancements of comple...
This special issue contains extended versions of selected papers from the 8th Interaction and Concur...
National audienceThis paper gives an overview of recent results on scalable analysis of automata net...
Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurren...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX192044 / BLDSC - British Library Do...
This volume constitutes the proceedings of the 36th International Conferenceon Application and Theor...
AbstractThe purpose of this paper is twofold: to give a precise notion of a realization for simulati...
International audienceWe survey various automata models of concurrent systems and their connection w...
Abstract. We investigate the descriptive succinctness of three fundamental notions for modeling conc...
International audienceWe discuss conceptional and foundational aspects of Markov automata [22]. We p...
International audienceThis essay offers an overview of basic aspects and central development in Conc...
Concurrent and distributed behaviour encompasses a wide range of ever evolving phenomena and feature...
Automata Theory is part of computability theory which covers problems in computer systems, software,...
International audienceIn this paper we give a symbolic concurrent semantics for network of timed aut...
The authors emphasize the actual relevance and need of formal methods for the advancements of comple...
This special issue contains extended versions of selected papers from the 8th Interaction and Concur...
National audienceThis paper gives an overview of recent results on scalable analysis of automata net...
Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurren...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX192044 / BLDSC - British Library Do...
Add to ORKG