• A
  • ACSD
  • 2004
  • Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Advanced Search 
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
Table of Contents
null
Preface (PDF)
pp. viii
Invited Talk
Architecture, Circuits, and Communication
Victor Khomenko, University of Newcastle upon Tyne, UK
Maciej Koutny, University of Newcastle upon Tyne, UK
Alex Yakovlev, University of Newcastle upon Tyne, UK
pp. 16
Fei Xia, Univ. of Newcastle upon Tyne, UK
Fei Hao, Univ. of Newcastle upon Tyne, UK
Ian Clark, Univ. of Newcastle upon Tyne, UK
Alex Yakovlev, Univ. of Newcastle upon Tyne, UK
E. Graeme Chester, Univ. of Newcastle upon Tyne, UK
pp. 36
Synchronous Systems and Components
Jean-Pierre Talpin, INRIA-IRISA
David Berner, INRIA-IRISA
Sandeep Kumar Shukla, Virginia Tech
Paul Le Guernic, INRIA-IRISA
Abdoulaye Gamati?, INRIA-IRISA
Rajesh Gupta, University of California at San Diego
pp. 47
Process Algebras and Petri Nets
R. Devillers, Universit? Libre de Bruxelles, Belgium
H. Klaudel, Universit? d'Evry, LaMI, France
M. Koutny, University of Newcastle, United Kingdom
pp. 79
Programming Languages and Translations
Thomas Arts, IT University of Gothenburg, Sweden
Clara Benac Earle, University of Kent, Canterbury, UK
Juan Jos? S?nchez Penas, University of Corunha, Spain
pp. 135
Marjan Sirjani, Sharif University of Technology, Tehran, Iran; Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
Amin Shali, Tehran University, Iran
Mohammad Mahdi Jaghoori, Tehran University, Iran
Hamed Iravanchi, Tehran University, Iran
Ali Movaghar, Sharif University of Technology, Tehran, Iran
pp. 145
Verification I
Mark Lawford, McMaster University, Hamilton, ON, Canada
Hong Zhang, McMaster University, Hamilton, ON, Canada
pp. 155
Verification II
Toni Jussila, Helsinki University of Technology, Finland
pp. 197
Marc Sol?, Technical University of Catalonia, Spain
Enric Pastor, Technical University of Catalonia, Spain
pp. 207
Kevin Seppi, Brigham Young University, Provo UT
Michael Jones, Brigham Young University, Provo UT
Peter Lamborn, Brigham Young University, Provo UT
pp. 217
Usage of this product signifies your acceptance of the Terms of Use.