Concepedia

Author

JoséLuiz Fiadeiro

Imperial College London

Also Known As

JoséLuiz Fiadeiro

2

Publications

94

Citations

1

H-Index

8

Concepts

All Affiliations

Imperial College London
JF

About

JoséLuiz Fiadeiro is an author at Imperial College London specializing in parallel programming, formal methods, and parallel computing.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

93

2

Computer Science

1

1

93

3

Software Analysis

1

1

93

4

Formal Methods

1

1

93

5

Parallel Computing

1

1

93

JoséLuiz Fiadeiro

×

1

Publications

93

Citations

1

H-Index

YearCitations

Categorical semantics of parallel program design

JoséLuiz Fiadeiro, Tom Maibaum

Science of Computer Programming

1997

93

Page 1