Algebraic Approaches to Nondeterminism - an Overview (1997)

Cached

Download Links

by Michal Walicki , Sigurd Meldal
Venue:ACM Computing Surveys
Citations:23 - 3 self

Documents Related by Co-Citation

22 A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism – Michal Walicki, Sigurd Meldal - 1995
9 power algebras and complete calculi of identities and inclusions – M Walicki, S Multialgebras Meldal - 1995
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
20 Equational Reasoning With 2-Dimensional Diagrams (preliminary Version) – Yves Lafont - 1992
67 Semantics of weakening and contraction – B Jacobs - 1994
919 Categories for the working mathematician – Mac Lane, S - 1971
184 Initial algebra semantics and continuous algebras – J Goguen, J Thatcher, E Wagner, J Wright - 1977
17 Towards a Theory of Abstract Data Types – D Kapur - 1980
7 Reasoning with Nondeterministic Specifications – Marcin Bialasik, Beata Konikowska - 1995
8 Observing non-deterministic data types – T Nipkow - 1987
3 Relational homomorphisms – J P Boyd - 1992
3 Identification of certain structures as split opfibrations over ffi op – P Glenn - 1997
4 Nondeterminism in Algebraic Specifications and Algebraic – H Humann - 1993
4 Boolean algebras with operators ii – J' onsson, B, A Tarski - 1952
5 The analysis of semigroups of multirelational systems – P Pattison - 1982
5 Bemerkungen zum homomorphie-begriff. Mathematische Zeitschrift 53 – G Pickert - 1950
3 Composition g'en'erale des relations. Algebra Universalis 30 – V V Topentcharov - 1993