The Community for Technology Leaders
RSS Icon
Subscribe
2010 10th International Conference on Application of Concurrency to System Design (2004)
Hamilton, Ontario, Canada
June 16, 2004 to June 18, 2004
ISBN: 0-7695-2077-4
TABLE OF CONTENTS
Preface (PDF)
pp. viii
Reviewers (PDF)
pp. xi
Invited Talk
Architecture, Circuits, and Communication
Maciej Koutny , University of Newcastle upon Tyne, UK
Victor Khomenko , University of Newcastle upon Tyne, UK
pp. 16
Bijan Alizadeh , University of Tehran, Iran
pp. 26
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
David Berner , INRIA-IRISA
Sandeep Kumar Shukla , Virginia Tech
Jean-Pierre Talpin , INRIA-IRISA
Abdoulaye Gamati? , INRIA-IRISA
Rajesh Gupta , University of California at San Diego
pp. 47
Dumitru Potop-Butucaru , IRISA, France
Beno? Caillaud , IRISA, France
Albert Benveniste , IRISA, France
pp. 67
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
Hemangee K. Kapoor , London South Bank University, UK
Mark B. Josephs , London South Bank University, UK
Dennis P. Furey , London South Bank University, UK
pp. 89
Hanna Klaudel , LaMI, Universit? d'Evry, France
Roland Bouroulet , LACL, Universit? Paris 12, France
pp. 99
Invited Talk
Programming Languages and Translations
Carl H. Hauser , Washington State University, Pullman
David B. Benson , Washington State University, Pullman
pp. 115
Dag Bj?rklund , ?bo Akademi University, Finland
Johan Lilius , ?bo Akademi University, Finland
pp. 125
Thomas Arts , IT University of Gothenburg, Sweden
Juan Jos? S?nchez Penas , University of Corunha, Spain
pp. 135
Amin Shali , Tehran University, Iran
Mohammad Mahdi Jaghoori , Tehran University, Iran
Hamed Iravanchi , Tehran University, Iran
Marjan Sirjani , Sharif University of Technology, Tehran, Iran; Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
pp. 145
Invited Talk
J. G. Thistle , University of Waterloo, Ontario, Canada
pp. 151
Verification I
Mark Lawford , McMaster University, Hamilton, ON, Canada
Hong Zhang , McMaster University, Hamilton, ON, Canada
pp. 155
Heikki Tauriainen , Helsinki University of Technology, Finland
pp. 165
Tommi A. Junttila , Helsinki University of Technology, Finland
pp. 175
Charles Lakos , University of Adelaide, Australia
Laure Petrucci , Universit? Paris XIII, France
pp. 185
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
Author Index (PDF)
pp. 227
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool