A functional programming approach to the specification and verification of concurrent systems

Peter Dybjer; Herbert P. Sander

doi:10.1007/bf01887211

A functional programming approach to the specification and verification of concurrent systems

Formal Aspects of Computing ◽

10.1007/bf01887211 ◽

1989 ◽

Vol 1 (1) ◽

pp. 303-319 ◽

Cited By ~ 6

Author(s):

Peter Dybjer ◽

Herbert P. Sander

Keyword(s):

Functional Programming ◽

Concurrent Systems ◽

Programming Approach ◽

Specification And Verification

Download Full-text

A Functional Programming Approach to the Specification and Verification of Concurrent Systems

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_16 ◽

1990 ◽

pp. 331-343

Author(s):

Peter Dybjer ◽

Herbert Sander

Keyword(s):

Functional Programming ◽

Concurrent Systems ◽

Programming Approach ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Self-Adaptive Concurrent Systems

IEEE Access ◽

10.1109/access.2018.2849821 ◽

2018 ◽

Vol 6 ◽

pp. 34790-34803 ◽

Cited By ~ 2

Author(s):

Muhammad Ilyas Fakhir ◽

Syed Asad Raza Kazmi

Keyword(s):

Formal Specification ◽

Concurrent Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Self Adaptive

Download Full-text

Mining the organic compound jungle - a functional programming approach

10.1049/ic:19980648 ◽

1998 ◽

Cited By ~ 1

Author(s):

K.E. Burn-Thornton

Keyword(s):

Organic Compound ◽

Functional Programming ◽

Programming Approach

Download Full-text

A functional programming approach for macro development

Journal of Systems and Information Technology ◽

10.1108/13287269880000739 ◽

1998 ◽

Vol 2 (2) ◽

pp. 11-28

Author(s):

Craig Standing ◽

Geoffrey G. Roy

Keyword(s):

Functional Programming ◽

Programming Approach

Download Full-text

Functional Programming Approach to Modularity in Large Software Systems

Advanced Programming Methodologies ◽

10.1016/b978-0-12-174690-2.50011-3 ◽

1989 ◽

pp. 185-204

Author(s):

Alfonso Miola

Keyword(s):

Functional Programming ◽

Software Systems ◽

Programming Approach ◽

Large Software

Download Full-text

Designing User Interfaces through Ontological User Model: Functional Programming Approach

2009 Fourth International Conference on Computer Sciences and Convergence Information Technology ◽

10.1109/iccit.2009.330 ◽

2009 ◽

Cited By ~ 1

Author(s):

Syed K. Shahzad ◽

Michael Granitzer ◽

Klause Tochterman

Keyword(s):

User Interfaces ◽

Functional Programming ◽

User Model ◽

Programming Approach

Download Full-text

Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

Formal Aspects of Computing ◽

10.1007/bf01888226 ◽

1990 ◽

Vol 2 (1) ◽

pp. 226-246 ◽

Cited By ~ 22

Author(s):

Xudong He ◽

John A. N. Lee

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

First Order ◽

Specification And Verification

Download Full-text

A Functional Programming Approach to AI Search Algorithms

Journal of Information Technology Education Innovations in Practice ◽

10.28945/1736 ◽

2012 ◽

Vol 11 ◽

pp. 353-376

Author(s):

János Pánovics

Keyword(s):

Functional Programming ◽

Search Algorithms ◽

Programming Approach

Download Full-text

Specification and verification of concurrent systems in CESAR

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-11494-7_22 ◽

1982 ◽

pp. 337-351 ◽

Cited By ~ 459

Author(s):

J. P. Queille ◽

J. Sifakis

Keyword(s):

Concurrent Systems ◽

Specification And Verification

Download Full-text

While waiting for the millennium: Formal specification and verification of concurrent systems now

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_27 ◽

1988 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

L. Lamport

Keyword(s):

Formal Specification ◽

Concurrent Systems ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text