Vai al contenuto principale della pagina

CONCUR 2013 -- Concurrency Theory [[electronic resource] ] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Pedro R. D'Argenio, Hernan Melgratti



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: CONCUR 2013 -- Concurrency Theory [[electronic resource] ] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Pedro R. D'Argenio, Hernan Melgratti Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Edizione: 1st ed. 2013.
Descrizione fisica: 1 online resource (XIV, 562 p. 83 illus.)
Disciplina: 005.1015113
Soggetto topico: Computer science
Software engineering
Computer science—Mathematics
Mathematical statistics
Computer Science Logic and Foundations of Programming
Software Engineering
Probability and Statistics in Computer Science
Persona (resp. second.): D'ArgenioPedro R
MelgrattiHernan
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di contenuto: Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.-  Principles of Automatic Verification -- Games and Control Synthesis.
Sommario/riassunto: This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 submissions. The papers are organized in topics such as process semantics and modal transition systems, VAS and pushdown systems, Pi calculus and interaction nets, linearizability and verification of concurrent programs, verification of infinite models, model measure and reversibility, stochastic models, message-based interaction processes, principles of automatic verification, and games and control synthesis.
Titolo autorizzato: CONCUR 2013 -- Concurrency Theory  Visualizza cluster
ISBN: 3-642-40184-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996466032403316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 8052
Semantics of Probabilistic Processes [[electronic resource] ] : An Operational Approach / / by Yuxin Deng
Deng Yuxin
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
Integrated Formal Methods [[electronic resource] ] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith
ABZ 2014: The Landing Gear Case Study [[electronic resource] ] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig