( en | de | ru )

 

Disambiguation of "Pepper, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Solving large systems of differential equations in parallel using covers and skeletons.

, , , and . Algorithmic Languages and Calculi, volume 95 of IFIP Conference Proceedings, page 132-159. Chapman & Hall, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Pepper

Peter Pepper

Claudia Pepper

Dietrich Pepper

Daniel Pepper

 

Other publications of authors with the same name

Functional Development of Massively Parallel Programs (Invited Paper)., , and . Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 217-238. Springer, (1993)Special Transformation Techniques., , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 290-321. Springer, (1978)A Compositional Semantics for Modelica-style Variable-structureModeling., , , and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 45-54. Linköping University Electronic Press, (2011)Notes on the Separate Compilation of Modelica., , and . EOOLT, volume 47 of Linköping Electronic Conference Proceedings, page 43-51. Linköping University Electronic Press, (2010)Abstract Data Types as a Tool for Requirement Engineering., and . Requirements Engineering, volume 74 of Informatik-Fachberichte, page 42-55. Springer, (1983)Formal Derivation of Concurrent Garbage Collectors., , and . MPC, volume 6120 of Lecture Notes in Computer Science, page 353-376. Springer, (2010)On the Algebraic Specification of Programming Languages.. ADT, University of Dortmund, (1982)Correctness of Type Transformations.. ADT, University of Passau, (1983)A Study on Transformational Semantics.. Program Construction, volume 69 of Lecture Notes in Computer Science, page 322-405. Springer, (1978)Distributed Teaching of Formal Methods.. TFM, volume 3294 of Lecture Notes in Computer Science, page 140-152. Springer, (2004)