ACM TECS Special Issue on Application of Concurrency to System Design --------------------------------------------------------------
Call for Papers Special Issue on Application of Concurrency to System Design Concurrent computing systems were investigated by scientists since early 1960s. Many formal methods were introduced for their specification and verification, for example: Petri nets, process algebras (CCS, CSP, pi-calculus), VDM++, etc. These formal models were employed in many application areas, where concurrency played an important role: electronic circuits, real-time systems, embedded systems, mobile and wireless networks, cyber-physical systems, business processes, just to name a few. With the emergence of new hardware architectures and new programming paradigms, as well as new developments in game industry, internet and medical applications, there are new challenges related to concurrency aspects of software and hardware systems. This special issue solicits original research contributions related to theory, algorithms, and case studies arising in the design of concurrent systems. Topics of interest include, but are not limited to: * design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, graph rewriting, state charts, MSCs, etc.); * verification, testing, synthesis and (performance) analysis; * synthesis and control of concurrent systems, (compositional) modeling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control; * graph transformations (as an elementary model of concurrency and many applications), logics for concurrency (e.g., modal and temporal logics); * concurrency issues in hard real-time systems, embedded systems and Systems on Chip, massively parallel architectures, Networks on Chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues; * hardware/software co-design, platform-based design, component-based design, energy-aware design, refinement techniques, hardware/software abstractions, co-simulation and verification; * software and hardware memory models, semantics (operational, axiomatic), theorem proving, memory model aware verification; * synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous systems, interface design, multi-clock systems, functional and timing verification; * concurrency issues in ad-hoc, mobile and wireless networking, wireless sensor networks, communication protocols, cross-layer optimization, resource and power management, fault-tolerance, concurrency-related security and safety-critical issues; * business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, interorganisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services. * concurrent programming, scalability and the Cloud; Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. Conference papers may only be submitted if the paper was completely re-written or substantially extended (30%). The papers should be submitted via the Manuscript Central website and should adhere to standard ACM TECS formatting requirements. The page count limit is 25. Authors should submit their journal version at Manuscript Central adhering to the formatting instructions on the TECS Web page and indicate that you are submitting to the Special Issue on Application of Concurrency to System Design on the first page and in the field "Author's Cover Letter:" in manuscriptcentral. For further information please look at: http://acmtecs.acm.org/si/13/acdsd13.htm Timetable: Submission due: October 31, 2013 First review results: approx. January 2014 Final copy deadline: approx. March 2014 Please notice that the scheduled review dates are approximate dates and subject to change. We will kindly inform you about the review results as soon as a decision was made. Questions regarding the disclosure of the review results should be addressed to the Guest Editors. Guest Editor(s): Josep Carmona, Universitat Politecnica de Catalunya, Barcelona, Spain ([email protected]) Mihai Teodor Lazarescu, Politecnico di Torino, Italy ([email protected]) Marta Pietkiewicz-Koutny, Newcastle University, United Kingdom ([email protected]) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
