ACSD - Int. Conf. on Application of Concurrency to System Design

Subscribe

Academic

ACSD - Int. Conf. on Application of Concurrency to System Design

ACSD - Int. Conf. on Application of Concurrency to System Design

Publications: 312| Citation Count: 1,463 (Self-Citation: 104) |H-Index: 18
Year Range: 1997-2011

Interests: Algorithms & Theory, Hardware & Architecture, Distributed & Parallel Computing

Paper submissions due: 5 January 2011, Duration: 20 - 24 June 2011, Kanazawa, Japan

Homepage |

CFP

Cumulative Annual

Order by:

Publications (312)

New Results on Abstract Probabilistic Automata (Citations: 2)

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wþasowski

Conference: Int. Conf. on Application of Concurrency to System Design - ACSD , pp. 118-127, 2011
A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks (Citations: 1)

Luz Judith R. Esparza, Kebin Zeng, Bo Friis Nielsen

Conference: Int. Conf. on Application of Concurrency to System Design - ACSD , pp. 98-107, 2011
Bounded Fairness for Probabilistic Distributed Algorithms (Citations: 1)

Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker

Conference: Int. Conf. on Application of Concurrency to System Design - ACSD , pp. 89-97, 2011
Compositional Analysis for Weak Stubborn Sets (Citations: 1)

Henri Hansen, Xu Wang

Conference: Int. Conf. on Application of Concurrency to System Design - ACSD , pp. 36-43, 2011
Towards Supervisory Control of Interactive Markov Chains: Controllability (Citations: 1)

J. Markovski, Den Dolech

Conference: Int. Conf. on Application of Concurrency to System Design - ACSD , pp. 108-117, 2011