Ideal Streams

Ideal Streams (1994)

Cached

Download Links

[www.Informatik.Uni-Augsburg.DE]

Other Repositories/Bibliography

DBLP

by Bernhard Möller

BibTeX

@MISC{Möller94idealstreams,
    author = {Bernhard Möller},
    title = {Ideal Streams},
    year = {1994}
}

Bookmark

OpenURL

Abstract

We introduce operators and laws of an algebra of...

Citations

1225	The essence of functional programming - Wadler - 1992
1009	Temporal and modal logic - Emerson - 1990
909	Introduction to Lattices and Order - Davey, Priestley - 1990
593	Introduction to Metamathematics - Kleene - 1971
533	A transformation system for developing recursive programs - Burstall, Darlington - 1977
274	Proving the Correctness of Multiprocess Programs - Lamport - 1977
102	A Practical Theory of Programming - Hehner - 1993
97	Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 - Baeten, Weijland - 1990
97	The design of distributed systems: an introduction to focus. Report TUM–I9203, Institut für Informatik, Technische Universität - Broy, Dederichs, et al. - 1992
95	Algorithmics: Towards programming as a mathematical activity - Meertens - 1986
78	Automata on in objects - Thomas - 1990
76	Power Domains - Smyth - 1978
52	Relations and Graphs, Discrete Mathematics for Computer Scientists - Schmidt, Ströhlhein - 1993
41	Formal program construction by transformations---intuition-guided programming - Bauer, Moller, et al. - 1989
38	The semantics of a simple language for parallel processing - Kahn - 1974
36	Une Theoreme sur les Fonctions d’Ensembles - Knaster - 1928
33	A lattice{theoretic theorem and its applications - Tarski - 1955
25	De liveness - Alpern, Schneider - 1985
23	In�nite games of perfect information - Davis - 1964
16	Derivation of graph and pointer algorithms - Möller - 1993
11	Research in the theory of !-languages - Staiger - 1987
10	Safety and liveness from a methodological point of view - Dederichs, Weber - 1990
7	Shorter paths to graph algorithms - Moller, Russling - 1994
5	Functional Speci of Time Sensitive Communicating Systems - Broy - 1990
5	Algebraic calculation of graph and sorting algorithms - Moller - 1993
4	Regular algebra and machines - Conway - 1971
3	Lattice Theory, 3rd edition - Birkho - 1967
3	The validity of equations of complex algebras - Gautam - 1957
3	Modèles non déterministes de types abstraits - Lescanne - 1982
3	Nivat: Behaviors of processes and synchronized systems of processes - unknown authors - 1982
2	A functional programming approach to the speci and veri of concurrent systems - Dybjer, Sander - 1989
1	A survey and classi of some program transformation approaches and techniques - Feather
1	ed.): Constructing programs from speci - Moller - 1991
1	On inductive proofs of network properties: The alternating bit protocol. Fakultat fur Mathematik und Informatik der Universitat - Padawitz - 1989
1	Protocol veri for OSI - Pehrson - 1990
1	A veri method for data networks with constraints applied to the veri of the alternating bit protocol. Fakultat fur Mathematik und Informatik der Universitat - Streicher - 1987
1	Ashcroft: Lucid, the data language - Wadge, A - 1985