CfP - ACM TECS Special Issue on Applications of Concurrency to System Design

ACM TECS Call for Papers for the 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 additional questions please send
an email to the Guest Editors.

Timetable:

Submission due: October 31, 2013
First Reviev 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 adressed to the Guest Editors.

Guest Editors:

Josep Carmona, Universitat Politecnica de Catalunya, Barcelona, Spain
Mihai Teodor Lazarescu, Politecnico di Torino, Italy
Marta Pietkiewicz-Koutny, Newcastle University, United Kingdom