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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540568834, 9783540477761

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The propositional μ-calculus and its use in model checking

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

10.1007/3-540-56883-2_7 ◽

1993 ◽

pp. 117-128 ◽

Author(s):

Jeffery Zucker

Keyword(s):

Download Full-text

Modeling a NORAD Command Post using SADT and Colored Petri Nets

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

10.1007/3-540-56883-2_5 ◽

1993 ◽

pp. 84-107 ◽

Author(s):

Robert M. Shapiro ◽

Valerio O. Pinci ◽

Roberto Mameli

Keyword(s):

Colored Petri Nets

Download Full-text

Generating an algorithm for executing graphical models

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

10.1007/3-540-56883-2_4 ◽

1993 ◽

pp. 71-83

Author(s):

Jawahar Malhotra ◽

Robert M. Shapiro

Keyword(s):

Graphical Models

Download Full-text

Propositional temporal logics and their use in model checking

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

10.1007/3-540-56883-2_6 ◽

1993 ◽

pp. 108-116 ◽

Author(s):

Jeffery Zucker

Keyword(s):

Model Checking ◽

Temporal Logics

Download Full-text

Supporting the attribute grammar programming paradigm in a lazy functional programming language

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

10.1007/3-540-56883-2_13 ◽

1993 ◽

pp. 278-295

Author(s):

R. A. Frost ◽

S. Karamatos

Keyword(s):

Programming Language ◽

Functional Programming ◽

Attribute Grammar ◽

Programming Paradigm ◽

Functional Programming Language ◽

Lazy Functional Programming

Download Full-text

A systolizing compilation scheme for nested loops with linear bounds

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

10.1007/3-540-56883-2_17 ◽

1993 ◽

pp. 374-398 ◽

Author(s):

Michael Barnett ◽

Christian Lengauer

Keyword(s):

Download Full-text

Programming in OBJ and Maude

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

10.1007/3-540-56883-2_12 ◽

1993 ◽

pp. 229-277 ◽

Author(s):

Tim Winkler

Download Full-text

On the use of theory based systems to traverse educational gaps in computer system related activities

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

10.1007/3-540-56883-2_1 ◽

1993 ◽

pp. 1-31

Author(s):

Peter E. Lauer

Keyword(s):

Computer System ◽

Educational Gaps

Download Full-text

Reasoning about functional programs in Nuprl

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

10.1007/3-540-56883-2_9 ◽

1993 ◽

pp. 145-164 ◽

Author(s):

Douglas J. Howe

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 ◽

Author(s):

Rance Cleaveland

Keyword(s):

Concurrent Systems ◽

Concurrency Workbench

Download Full-text