concurrency workbench
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CAAL: Concurrency Workbench, Aalborg Edition

Theoretical Aspects of Computing - ICTAC 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25150-9_33 ◽

2015 ◽

pp. 573-582 ◽

Cited By ~ 12

Author(s):

Jesper R. Andersen ◽

Nicklas Andersen ◽

Søren Enevoldsen ◽

Mathias M. Hansen ◽

Kim G. Larsen ◽

...

Keyword(s):

Concurrency Workbench

Download Full-text

Modelling and verifying web service orchestration by means of the concurrency workbench

ACM SIGSOFT Software Engineering Notes ◽

10.1145/1022494.1022526 ◽

2004 ◽

Vol 29 (5) ◽

pp. 1-10 ◽

Cited By ~ 42

Author(s):

Mariya Koshkina ◽

Franck van Breugel

Keyword(s):

Web Service ◽

Service Orchestration ◽

Web Service Orchestration ◽

Concurrency Workbench

Download Full-text

Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench

Information Processing Letters ◽

10.1016/j.ipl.2003.12.007 ◽

2004 ◽

Vol 89 (6) ◽

pp. 293-296 ◽

Cited By ~ 7

Author(s):

Hemangee K. Kapoor ◽

Mark B. Josephs

Keyword(s):

Concurrency Workbench

Download Full-text

Analyzing and verifying locally clocked circuits with the concurrency workbench

Proceedings. Fifth Great Lakes Symposium on VLSI ◽

10.1109/glsv.1995.516041 ◽

2002 ◽

Author(s):

G. Baulch ◽

D. Hemmendinger ◽

C. Traver

Keyword(s):

Concurrency Workbench

Download Full-text

The NCSU Concurrency Workbench

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_87 ◽

1996 ◽

pp. 394-397 ◽

Cited By ~ 76

Author(s):

Rance Cleaveland ◽

Steve Sims

Keyword(s):

Concurrency Workbench

Download Full-text

The concurrency workbench

ACM Transactions on Programming Languages and Systems ◽

10.1145/151646.151648 ◽

1993 ◽

Vol 15 (1) ◽

pp. 36-72 ◽

Cited By ~ 306

Author(s):

Rance Cleaveland ◽

Joachim Parrow ◽

Bernhard Steffen

Keyword(s):

Concurrency Workbench

Download Full-text

Analyzing concurrent systems using the Concurrency Workbench

Functional Programming, Concurrency, Simulation and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-56883-2_8 ◽

1993 ◽

pp. 129-144 ◽

Cited By ~ 3

Author(s):

Rance Cleaveland

Keyword(s):

Concurrent Systems ◽

Concurrency Workbench

Download Full-text

The Concurrency Workbench with priorities

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_15 ◽

1992 ◽

pp. 147-157 ◽

Cited By ~ 1

Author(s):

Claus Torp Jensen

Keyword(s):

Concurrency Workbench

Download Full-text

The concurrency workbench

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_3 ◽

1990 ◽

pp. 24-37 ◽

Cited By ~ 76

Author(s):

Rance Cleaveland ◽

Joachim Parrow ◽

Bernhard Steffen

Keyword(s):

Concurrency Workbench

Download Full-text

concurrency workbenchRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

CAAL: Concurrency Workbench, Aalborg Edition

Modelling and verifying web service orchestration by means of the concurrency workbench

Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench

Analyzing and verifying locally clocked circuits with the concurrency workbench

The NCSU Concurrency Workbench

The concurrency workbench

Analyzing concurrent systems using the Concurrency Workbench

The Concurrency Workbench with priorities

The concurrency workbench

concurrency workbench
Recently Published Documents