Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540671022, 9783540465621

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Experiments to Build a Body of Knowledge

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_24 ◽

2000 ◽

pp. 265-282 ◽

Cited By ~ 3

Author(s):

Victor Basili ◽

Forrest Shull ◽

Filippo Lanubile

Keyword(s):

Body Of Knowledge

Download Full-text

Some Decidability Results for Nested Petri Nets

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_18 ◽

2000 ◽

pp. 208-220 ◽

Cited By ~ 20

Author(s):

Irina A. Lomazova ◽

Philippe Schnoebelen

Keyword(s):

Petri Nets

Download Full-text

Sonic Partial Deduction

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_9 ◽

2000 ◽

pp. 101-112 ◽

Cited By ~ 2

Author(s):

Jonathan Martin ◽

Michael Leuschel

Keyword(s):

Partial Deduction

Download Full-text

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_41 ◽

2000 ◽

pp. 460-469

Author(s):

Richard J. Anderson ◽

Paul Beame ◽

William Chan ◽

David Notkin

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Software Specifications

Download Full-text

Introducing Mutual Exclusion in Esterel

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_40 ◽

2000 ◽

pp. 445-459

Author(s):

Klaus Schneider ◽

Viktor Sabelfeld

Keyword(s):

Mutual Exclusion

Download Full-text

Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_29 ◽

2000 ◽

pp. 341-351 ◽

Cited By ~ 1

Author(s):

Lars Frank

Keyword(s):

Shared Data

Download Full-text

Extensions: A Technique for Structuring Functional-Logic Programs

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_26 ◽

2000 ◽

pp. 297-310 ◽

Cited By ~ 2

Author(s):

Rafael Caballero ◽

Francisco J. López-Fraguas

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Compositional Verification of CCS Processes

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_22 ◽

2000 ◽

pp. 247-256 ◽

Cited By ~ 7

Author(s):

Mads Dam ◽

Dilian Gurov

Keyword(s):

Compositional Verification

Download Full-text

On Semantics and Correctness of Reactive Rule-Based Programs

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_21 ◽

2000 ◽

pp. 235-246 ◽

Cited By ~ 1

Author(s):

Man Lin ◽

Jacek Malec ◽

Simin Nadjm-Tehrani

Keyword(s):

Rule Based

Download Full-text

Abstract Structures for Communication between Processes

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_19 ◽

2000 ◽

pp. 221-227

Author(s):

Gabriel Ciobanu ◽

Emanuel Florentin Olariu

Download Full-text

Lecture Notes in Computer Science - Perspectives of System InformaticsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using Experiments to Build a Body of Knowledge

Some Decidability Results for Nested Petri Nets

Sonic Partial Deduction

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications

Introducing Mutual Exclusion in Esterel

Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data

Extensions: A Technique for Structuring Functional-Logic Programs

Compositional Verification of CCS Processes

On Semantics and Correctness of Reactive Rule-Based Programs

Abstract Structures for Communication between Processes

Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications