Christian Lengauer

143 papers A* 5A 4B 4C 2Journal 66Unranked 47
YearRankTypeTitle / Venue / Authors
2023 — conf
Eelco Visser as a Founding Member of the IFIP WG 2.11.
Eelco Visser Commemorative Symposium
Christian Lengauer, Jacques Carette
2022 — ch.
A Personal View of Edsger W. Dijkstra and His Stance on Software Construction.
Edsger Wybe Dijkstra
Christian Lengauer
2020 — ch.
ExaStencils: Advanced Multigrid Solver Generation.
Software for Exascale Computing
Christian Lengauer, Sven Apel, Matthias Bolten, Shigeru Chiba, Ulrich Rüde, Jürgen Teich, Armin Größlinger, Frank Hannig, Harald Köstler, Lisa Claus, Alexander Grebhahn, Stefan Groth, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, Christian Schmitt, Jonas Schmitt
2020 J jnl
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111).
Dagstuhl Reports
Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, Saday Sadayappan
2019 J jnl
PolyJIT: Polyhedral Optimization Just in Time.
Int. J. Parallel Program.
Andreas Simburger, Sven Apel, Armin Größlinger, Christian Lengauer
2019 J jnl
Polyhedral Search Space Exploration in the ExaStencils Code Generator.
ACM Trans. Archit. Code Optim.
Stefan Kronawitter, Christian Lengauer
2019 J jnl
Speeding up Iterative Polyhedral Schedule Optimization with Surrogate Performance Models.
ACM Trans. Archit. Code Optim.
Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel, Christian Lengauer
2018 J jnl
Automatic Data Layout Transformations in the ExaStencils Code Generator.
Parallel Process. Lett.
Stefan Kronawitter, Sebastian Kuckuk, Harald Köstler, Christian Lengauer
2018 J jnl
Automating the Development of High-Performance Multigrid Solvers.
Proc. IEEE
Christian Schmitt, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Christian Lengauer
2018 J jnl
Loop Optimization (Dagstuhl Seminar 18111).
Dagstuhl Reports
Sebastian Hack, Paul H. J. Kelly, Christian Lengauer
2017 J jnl
A Scala prototype to generate multigrid solver implementations for different problems and target multi-core platforms.
Int. J. Comput. Sci. Eng.
Harald Köstler, Christian Schmitt, Sebastian Kuckuk, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Ulrich Rüde, Christian Lengauer
2017 J jnl
Algebraic description and automatic generation of multigrid methods in SPIRAL.
Concurr. Comput. Pract. Exp.
Matthias Bolten, Franz Franchetti, Paul H. J. Kelly, Christian Lengauer, Marcus Mohr
2017 J jnl
Iterative Schedule Optimization for Parallelization in the Polyhedron Model.
ACM Trans. Archit. Code Optim.
Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel, Christian Lengauer
2017 J jnl
Special issue: Advanced stencil-code engineering.
Concurr. Comput. Pract. Exp.
Christian Lengauer, Matthias Bolten, Robert D. Falgout, Olaf Schenk
2017 J jnl
Special issue: Euro-Par 2016.
Concurr. Comput. Pract. Exp.
Christian Lengauer, Luc Bougé, Denis Trystram
2016 — conf
Redundancy Elimination in the ExaStencils Code Generator.
ICA3PP Workshops
Stefan Kronawitter, Sebastian Kuckuk, Christian Lengauer
2016 J jnl
Special issue: Euro-Par 2015.
Concurr. Comput. Pract. Exp.
Christian Lengauer, Luc Bougé, Jesper Larsson Träff
2016 — ch.
Systems of Partial Differential Equations in ExaSlang.
Software for Exascale Computing
Christian Schmitt, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, Harald Köstler, Ulrich Rüde, Christian Lengauer
2015 J jnl
Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161).
Dagstuhl Reports
Christian Lengauer, Matthias Bolten, Robert D. Falgout, Olaf Schenk
2015 J jnl
Balancing precision and performance in structured merge.
Autom. Softw. Eng.
Olaf Leßenich, Sven Apel, Christian Lengauer
2015 J jnl
Modeling and optimizing MapReduce programs.
Concurr. Comput. Pract. Exp.
Jens Dörre, Sven Apel, Christian Lengauer
2015 — conf
Morpheus: Variability-Aware Refactoring in the Wild.
ICSE (1)
Jörg Liebig, Andreas Janker, Florian Garbe, Sven Apel, Christian Lengauer
2015 J jnl
Special Issue: Euro-Par 2014.
Concurr. Comput. Pract. Exp.
Christian Lengauer, Luc Bougé, Fernando M. A. Silva
2014 J jnl
Domain-Specific Optimization of Two Jacobi Smoother Kernels and Their Evaluation in the ECM Performance Model.
Parallel Process. Lett.
Stefan Kronawitter, Holger Stengel, Georg Hager, Christian Lengauer
2014 — ed.
Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
Euro-Par Workshops (1)
Luís M. B. Lopes, Julius Zilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesús Carretero, Jens Breitbart, Michael Alexander
2014 — ed.
Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II
Euro-Par Workshops (2)
Luís M. B. Lopes, Julius Zilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesús Carretero, Jens Breitbart, Michael Alexander
2014 — conf
ExaStencils: Advanced Stencil-Code Engineering.
Euro-Par Workshops (2)
Christian Lengauer, Sven Apel, Matthias Bolten, Armin Größlinger, Frank Hannig, Harald Köstler, Ulrich Rüde, Jürgen Teich, Alexander Grebhahn, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, Christian Schmitt
2014 J jnl
Special issue: Euro-Par 2013.
Concurr. Comput. Pract. Exp.
Christian Lengauer, Luc Bougé, Felix Wolf
2013 J jnl
Language-Independent and Automated Software Composition: The FeatureHouse Experience.
IEEE Trans. Software Eng.
Sven Apel, Christian Kästner, Christian Lengauer
2013 — conf
Scalable analysis of variable software.
ESEC/SIGSOFT FSE
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer
2013 J jnl
Special Issue: Euro-Par 2011.
Concurr. Comput. Pract. Exp.
Luc Bougé, Christian Lengauer
2013 J jnl
Special Issue: Euro-Par 2012.
Concurr. Comput. Pract. Exp.
Luc Bougé, Christian Lengauer
2013 A* conf
The potential of polyhedral optimization: An empirical study.
ASE
Andreas Simburger, Sven Apel, Armin Größlinger, Christian Lengauer
2012 J jnl
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation.
Parallel Process. Lett.
Tobias Grosser, Armin Größlinger, Christian Lengauer
2012 J jnl
Preface to the special issue on feature-oriented software development (FOSD 2009).
Sci. Comput. Program.
Sven Apel, Christian Lengauer, Julia Lawall
2012 A* conf
Structured merge with auto-tuning: balancing precision and performance.
ASE
Sven Apel, Olaf Leßenich, Christian Lengauer
2011 — conf
Automatic detection of feature interactions using the Java modeling language: an experience report.
SPLC Workshops
Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer
2011 J jnl
Feature-Oriented System Design and Engineering.
Int. J. Softw. Informatics
Christian Lengauer, Sven Apel
2011 — ch.
Monitors, Axiomatic Verification of.
Encyclopedia of Parallel Computing
Christian Lengauer
2011 — ch.
Owicki-Gries Method of Axiomatic Verification.
Encyclopedia of Parallel Computing
Christian Lengauer
2011 — ch.
Polyhedron Model.
Encyclopedia of Parallel Computing
Paul Feautrier, Christian Lengauer
2011 — ch.
Semantic Independence.
Encyclopedia of Parallel Computing
Martin Fränzle, Christian Lengauer
2011 — conf
Semistructured merge: rethinking merge in revision control systems.
SIGSOFT FSE
Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner
2011 J jnl
Special Issue: Euro-Par 2009.
Concurr. Comput. Pract. Exp.
Luc Bougé, Christian Lengauer
2011 J jnl
Special Issue: Euro-Par 2010.
Concurr. Comput. Pract. Exp.
Luc Bougé, Christian Lengauer
2010 J jnl
An algebraic foundation for automatic feature-based program synthesis.
Sci. Comput. Program.
Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
2010 — conf
An analysis of the variability in forty preprocessor-based software product lines.
ICSE (1)
Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze
2010 A conf
Detecting Dependences and Interactions in Feature-Oriented Design.
ISSRE
Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner
2010 — conf
Language-independent reference checking in software product lines.
FOSD
Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner
2010 — conf
Semistructured Merge in Revision Control Systems.
VaMoS
Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook
2010 J jnl
Type safety for feature-oriented product lines.
Autom. Softw. Eng.
Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer
2010 J jnl
Type-Safe Feature-Oriented Product Lines
CoRR
Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer
2009 A* conf
FEATUREHOUSE: Language-independent, automated software composition.
ICSE
Sven Apel, Christian Kästner, Christian Lengauer
2009 A conf
Feature (De)composition in Functional Programming.
SC
Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer
2009 — conf
RobbyDBMS: a case study on hardware/software product line engineering.
FOSD
Jörg Liebig, Sven Apel, Christian Lengauer, Thomas Leich
2009 J jnl
Special Issue: Euro-Par 2007.
Concurr. Comput. Pract. Exp.
Luc Bougé, Christian Lengauer
2009 J jnl
Special Issue: Euro-Par 2008.
Concurr. Comput. Pract. Exp.
Luc Bougé, Christian Lengauer
2009 C conf
Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien.
Software Engineering
Sven Apel, Christian Kästner, Christian Lengauer
2008 — conf
An Algebra for Features and Feature Composition.
AMAST
Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
2008 B conf
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.
GPCE
Sven Apel, Christian Kästner, Christian Lengauer
2008 — conf
LooPo-HOC: A Grid Component with Embedded Loop Parallelization.
CoreGRID Integration Workshop
Johannes Tomasoni, Jan Dünnweber, Sergei Gorlatch, Michael Claßen, Philipp Claßen, Christian Lengauer
2008 — ed.
Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007
Programming Models for Ubiquitous Parallelism
Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff
2008 — conf
Research challenges in the tension between features and services.
SDSOA@ICSE
Sven Apel, Christian Kästner, Christian Lengauer
2008 A conf
Superimposition: A Language-Independent Approach to Software Composition.
SC
Sven Apel, Christian Lengauer
2007 — conf
07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism.
Programming Models for Ubiquitous Parallelism
David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff
2007 — conf
07361 Introduction -- Programming Models for Ubiquitous Parallelism.
Programming Models for Ubiquitous Parallelism
David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff
2007 J jnl
Costing stepwise refinements of parallel programs.
Comput. Lang. Syst. Struct.
Nils Ellmenreich, Christian Lengauer
2006 C conf
A disciplined approach to aspect composition.
PEPM
Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer
2006 A* conf
Feature oriented refactoring of legacy applications.
ICSE
Jia Liu, Don S. Batory, Christian Lengauer
2006 J jnl
Preface.
Sci. Comput. Program.
Christian Lengauer, Walid Taha
2006 J jnl
Quantifier elimination in automatic loop parallelization.
J. Symb. Comput.
Armin Größlinger, Martin Griebl, Christian Lengauer
2005 — conf
Quantifier Elimination in Automatic Loop Parallelization.
Algorithmic Algebra and Logic
Armin Größlinger, Martin Griebl, Christian Lengauer
2004 — ed.
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Domain-Specific Program Generation
Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky
2004 J jnl
Space-time mapping and tiling: a helpful combination.
Concurr. Comput. Pract. Exp.
Martin Griebl, Peter Faber, Christian Lengauer
2003 — conf
Program Optimization in the Domain of High-Performance Parallelism.
Domain-Specific Program Generation
Christian Lengauer
2003 — conf
Replicated Placements in the Polyhedron Model.
Euro-Par
Peter Faber, Martin Griebl, Christian Lengauer
2003 — ch.
Transforming Rapid Prototypes to Efficient Parallel Programs.
Patterns and Skeletons for Parallel and Distributed Computing
Christoph A. Herrmann, Christian Lengauer
2002 — conf
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines.
IFL
Nils Ellmenreich, Christian Lengauer
2002 J jnl
Using Metaprogramming to Parallelize Functional Specifications.
Parallel Process. Lett.
Christoph A. Herrmann, Christian Lengauer
2001 — conf
A Transformational Approach which Combines Size Inference and Program Optimization.
SAIG
Christoph A. Herrmann, Christian Lengauer
2001 J jnl
High-performance Java - introduction.
Commun. ACM
Cherri M. Pancake, Christian Lengauer
2001 — conf
Loop-Carried Code Placement.
Euro-Par
Peter Faber, Martin Griebl, Christian Lengauer
2001 J jnl
On the parallel implementation of a generalized broadcast.
Parallel Algorithms Appl.
Christoph Wedler, Christian Lengauer
2001 J jnl
Towards parallel programming by transformation: the FAN skeleton framework.
Parallel Algorithms Appl.
Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti
2000 J jnl
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.
Acta Informatica
Sergei Gorlatch, Christian Lengauer
2000 J jnl
HDC: A Higher-Order Language for Divide-and-Conquer.
Parallel Process. Lett.
Christoph A. Herrmann, Christian Lengauer
2000 J jnl
Index Set Splitting.
Int. J. Parallel Program.
Martin Griebl, Paul Feautrier, Christian Lengauer
2000 — conf
Issues of the Automatic Generation of HPF Loop Programs.
LCPC
Peter Faber, Martin Griebl, Christian Lengauer
1999 — conf
Application of the Polytope Model to Functional Programs.
LCPC
Nils Ellmenreich, Christian Lengauer, Martin Griebl
1999 — conf
On Index Set Splitting.
IEEE PACT
Martin Griebl, Paul Feautrier, Christian Lengauer
1999 — conf
Optimization Rules for Programming with Collective Operations.
IPPS/SPDP
Sergei Gorlatch, Christoph Wedler, Christian Lengauer
1999 J jnl
Parallelization of Divide-and-Conquer by Translation to Nested Loops.
J. Funct. Program.
Christoph A. Herrmann, Christian Lengauer
1999 B conf
Skeletons and Transformations in an Integrated Parallel Programming Environment.
PaCT
Bruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti
1999 — conf
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.
Euro-Par
Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller
1999 J jnl
Termination detection in parallel loop nests with while loops.
Parallel Comput.
Max Geigl, Martin Griebl, Christian Lengauer
1998 — conf
Code Generation in the Polytope Model.
IEEE PACT
Martin Griebl, Christian Lengauer, Sabine Wetzel
1998 J jnl
On Linear List Recursion in Parallel.
Acta Informatica
Christoph Wedler, Christian Lengauer
1997 — ed.
Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings
Euro-Par
Christian Lengauer, Martin Griebl, Sergei Gorlatch
1997 — conf
Parallel Implementations of Combinations of Broadcast, Reduction and Scan.
PDSE
Christoph Wedler, Christian Lengauer
1997 J jnl
The Static Parallelization of Loops and Recursions.
J. Supercomput.
Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann
1997 — conf
Transformation of Divide & Conquer to Nested Parallel Loops.
PLILP
Christoph A. Herrmann, Christian Lengauer
1996 A conf
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.
ECOOP
Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing
1996 — conf
Classifying Loops for Space-Time Mapping.
Euro-Par, Vol. I
Martin Griebl, Christian Lengauer
1996 — ed.
Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995)
Object Orientation with Parallelism and Persistence
Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek
1996 J jnl
On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions.
Parallel Process. Lett.
Christoph Armin Herrmann, Christian Lengauer
1996 — conf
The Loop Parallelizer LooPo-Announcement.
LCPC
Martin Griebl, Christian Lengauer
1995 J jnl
A communication scheme for the distributed execution of loop nests with while loops.
Int. J. Parallel Program.
Martin Griebl, Christian Lengauer
1995 — conf
Modal-µ-Maude: Specification and Properties of Concurrent Objects.
Object Orientation with Parallelism and Persistence
Ulrike Lechner, Christian Lengauer
1995 J jnl
Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism.
Formal Aspects Comput.
Sergei Gorlatch, Christian Lengauer
1994 — conf
An Object-Oriented Airport: Specification and Refinement in Maude.
COMPASS/ADT
Ulrike Lechner, Christian Lengauer, Martin Wirsing
1994 — conf
On Scanning Space-Time Mapped While Loops.
CONPAR
Martin Griebl, Christian Lengauer
1994 J jnl
On the Space-Time Mapping of While-Loops.
Parallel Process. Lett.
Martin Griebl, Christian Lengauer
1994 — conf
Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications.
IPPS
Sergei Gorlatch, Christian Lengauer
1993 — conf
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.
Functional Programming, Concurrency, Simulation and Automated Reasoning
Michael Barnett, Christian Lengauer
1993 B conf
Loop Parallelization in the Polytope Model.
CONCUR
Christian Lengauer
1992 J jnl
A systolic array for pyramidal algorithms.
J. VLSI Signal Process.
Christian Lengauer, Jingling Xue
1992 J jnl
The synthesis of control signals for one-dimensional systolic arrays.
Integr.
Jingling Xue, Christian Lengauer
1992 — conf
Unimodularity Considered Non-Essential.
CONPAR
Michael Barnett, Christian Lengauer
1992 J jnl
Unimodularity and the Prallelization of Loops.
Parallel Process. Lett.
Michael Barnett, Christian Lengauer
1991 — conf
A Systolizing Compilation Scheme: Abstract.
ICPP (2)
Michael Barnett, Christian Lengauer
1991 J jnl
A systolic array for pyramidal algorithms.
J. VLSI Signal Process.
Christian Lengauer, Jingling Xue
1991 J jnl
On Denotational versus Predicative Semantics.
J. Comput. Syst. Sci.
Manfred Broy, Christian Lengauer
1991 — conf
Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations.
Algorithms and Parallel VLSI Architectures
Jingling Xue, Christian Lengauer
1991 — conf
The Synthesis of Systolic Programs.
Research Directions in High-Level Parallel Programming Languages
Michael Barnett, Christian Lengauer
1991 J jnl
Towards Systolizing Compilation.
Distributed Comput.
Christian Lengauer, Michael Barnett, Duncan G. Hudson III
1990 J jnl
Code Generation for a Systolic Computer.
Softw. Pract. Exp.
Christian Lengauer
1990 J jnl
The Projection of Systolic Programs.
Formal Aspects Comput.
Christian Lengauer, Jeff W. Sanders
1990 — conf
Wie kann man imperative Programme auf eine Systolisierung vorbereiten?
GI Jahrestagung (2)
Christian Lengauer
1989 — conf
A Mechanically Derived Systolic Implementation of Pyramid Initialization.
Hardware Specification, Verification and Synthesis
Christian Lengauer, Bikash Sabata, Farshid Arman
1989 J jnl
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem.
Acta Informatica
Chua-Huang Huang, Christian Lengauer
1989 J jnl
Semantic Independence.
Sci. Comput. Program.
Eike Best, Christian Lengauer
1989 B conf
The Projection of Systolic Programs.
MPC
Christian Lengauer, Jeff W. Sanders
1989 — conf
Towards Systolizing Compilation: An Overview.
PARLE (2)
Christian Lengauer
1987 — conf
An Implemented Method for Incremmental Systolic Design.
PARLE (1)
Chua-Huang Huang, Christian Lengauer
1987 J jnl
The Derivation of Systolic Implementations of Programs.
Acta Informatica
Chua-Huang Huang, Christian Lengauer
1986 A* conf
A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.
POPL
Christian Lengauer, Chua-Huang Huang
1986 J jnl
The automated proof of a trace transformation for a bitonic sort.
Theor. Comput. Sci.
Chua-Huang Huang, Christian Lengauer
1985 J jnl
On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency.
J. Autom. Reason.
Christian Lengauer
1984 — conf
The Static Derivation of Concurrency and its Mechanzed Certification.
Seminar on Concurrency
Christian Lengauer, Chua-Huang Huang
1982 J jnl
A Methodology for Programming with Concurrency: An Informal Presentation.
Sci. Comput. Program.
Christian Lengauer, Eric C. R. Hehner
1982 J jnl
A Methodology for Programming with Concurrency: The Formalism.
Sci. Comput. Program.
Christian Lengauer
1982 — —
A methodology for programming with concurrency.
Christian Lengauer
1981 — conf
A methodolgy for programming with concurrency.
CONPAR
Christian Lengauer, Eric C. R. Hehner