Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769520774

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translating Erlang to μCRL

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309124 ◽

2004 ◽

Cited By ~ 1

Author(s):

T. Arts ◽

C.B. Earle ◽

J.J. Sanchez Penas

Download Full-text

Arrays and contracts for the specification and analysis of regular systems

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309116 ◽

2004 ◽

Cited By ~ 3

Author(s):

F. Maraninchi ◽

L. Morel

Download Full-text

A behavioral type inference system for compositional system-on-chip design

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309115 ◽

2004 ◽

Cited By ~ 4

Author(s):

J.-P. Talpin ◽

D. Berner ◽

S.K. Shukla ◽

P. Le Guernic ◽

A. Gamatiie ◽

...

Keyword(s):

System On Chip ◽

Type Inference ◽

Chip Design ◽

Inference System ◽

Behavioral Type ◽

On Chip ◽

Compositional System

Download Full-text

On the practicality and desirability of highly-concurrent, mostly-functional programming

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309122 ◽

2004 ◽

Author(s):

C.H. Hauser ◽

D.B. Benson

Keyword(s):

Functional Programming

Download Full-text

New orbit algorithms for data symmetries

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309130 ◽

2004 ◽

Cited By ~ 1

Author(s):

T.A. Junttila

Download Full-text

Nested emptiness search for generalized Buchi automata

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309129 ◽

2004 ◽

Cited By ~ 3

Author(s):

H. Tauriainen

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

Property checking based on hierarchical integer equations

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309113 ◽

2004 ◽

Cited By ~ 1

Author(s):

B. Alizadeh ◽

Z. Navabi

Download Full-text

Modular analysis of systems composed of semiautonomous subsystems

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309131 ◽

2004 ◽

Cited By ~ 7

Author(s):

C. Lakos ◽

L. Petrucci

Keyword(s):

Modular Analysis

Download Full-text

Concurrency in synchronous systems

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309117 ◽

2004 ◽

Cited By ~ 19

Author(s):

D. Potop-Butucaru ◽

B. Caillaud ◽

A. Benveniste

Keyword(s):

Synchronous Systems

Download Full-text

Synthesis of supervisory controls for discrete event systems

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309127 ◽

2004 ◽

Author(s):

J.G. Thistle

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Translating Erlang to μCRL

Arrays and contracts for the specification and analysis of regular systems

A behavioral type inference system for compositional system-on-chip design

On the practicality and desirability of highly-concurrent, mostly-functional programming

New orbit algorithms for data symmetries

Nested emptiness search for generalized Buchi automata

Property checking based on hierarchical integer equations

Modular analysis of systems composed of semiautonomous subsystems

Concurrency in synchronous systems

Synthesis of supervisory controls for discrete event systems

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.
Latest Publications