Show simple item record

dc.contributor.authorHENNESSY, MATTHEW
dc.date.accessioned2016-10-17T11:13:33Z
dc.date.available2016-10-17T11:13:33Z
dc.date.issued2015
dc.date.submitted2015en
dc.identifier.citationBernardi G, Hennessy M, Mutually testing processes, Logical Methods in Computer Science, 11, 2, 2015, 61-75en
dc.identifier.otherY
dc.identifier.urihttp://hdl.handle.net/2262/77512
dc.description.abstractThis volume contains the proceedings of the 24th Conference on Concurrency Theory (CONCUR 2013) held in Buenos Aires, Argentina, during August 27–30, 2013. CONCUR 2013 was organized by the Universidad de Buenos Aires and the Universidad Nacional de C ́ ordoba. The purpose of the CONCUR conference is to bring together researchers, developers, and students in order to advance the theory of concurrency and pro- mote its applications. The principal topics include basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets; logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems; ver- ification and analysis techniques for concurrent systems such as abstract in- terpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static anal- ysis, synthesis, testing, theorem proving, and type systems; related programming models such as distributed, component-based , object-oriented, and Web services. This edition of the conference attracted 115 submissions. We would like to thank all their authors for their interest in CONCUR 2013. After careful review- ing and discussions, the Program Committee selected 34 papers for presentation at the conference. Each submission was r eviewed by at least three reviewers, who wrote detailed evaluations and gave insightful comments. The Conference Chairs would like to thank the Program Committee members and all the additional re- viewers for their excellent work, as wel l as for the constructive discussions. We are grateful to the authors for having revised their papers so as to address the comments and suggestions by the referees. The conference program was greatly enriched by the invited talks by Lorenzo Alvisi (joint invited speaker with QEST 2013), Joost-Pieter Katoen, Philippe Schnoebelen, and Reinhard Wilhelm (joint invited speaker with FORMATS 2013).en
dc.format.extent61-75en
dc.language.isoenen
dc.relation.ispartofseriesLogical Methods in Computer Science;
dc.relation.ispartofseries11;
dc.relation.ispartofseries2;
dc.rightsYen
dc.subjectCONCUR 2013en
dc.subject.lcshCONCUR 2013en
dc.titleMutually testing processesen
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenne
dc.identifier.rssinternalid128538
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-642-40184-8_6
dc.rights.ecaccessrightsopenAccess
dc.identifier.rssurihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84938410194&partnerID=40&md5=4d268344e1cba463d06c9b06764aa0e5


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record