Sigurd Meldal

Publication Activity (10 Years)

Years Active: 1986-2006
Publications (10 Years): 0

Publications

Jerry Gao, Yumei Wu, Lee Chang, Sigurd Meldal
Measuring Component-Based Systems Using a Systematic Approach and Environment. SOSE (2006)
Michal Walicki, Sigurd Meldal
Nondeterminism vs. Underspecification. ISAS-SCI (1) (2001)
Michal Walicki, Magne Haveraaen, Sigurd Meldal
Computation Algebras. Math. Struct. Comput. Sci. 11 (5) (2001)
Michal Walicki, Adis Hodzic, Sigurd Meldal
Compositional Homomorphisms of Relational Structures. FCT (2001)
Michal Walicki, Sigurd Meldal
Algebraic Approaches to Nondeterminism: An Overview. ACM Comput. Surv. 29 (1) (1997)
Michal Walicki, Sigurd Meldal
Singular and Plural Nondeterministic Parameters. SIAM J. Comput. 26 (4) (1997)
Sigurd Meldal, David C. Luckham
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. Requirements Targeting Software and Systems Engineering (1997)
Anca I. Vermesan, Sigurd Meldal
An Algebraic Approach to Refinement of KBS Specification. EUROVAV (1995)
Michal Walicki, Sigurd Meldal
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. ACM Trans. Program. Lang. Syst. 17 (2) (1995)
Michal Walicki, Sigurd Meldal
Generated Models and the omega-Rule: The Nondeterministic Case. TAPSOFT (1995)
Michal Walicki, Sigurd Meldal
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. COMPASS/ADT (1994)
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
On Specialization of Derivations in Axiomatic Equality Theories. LFCS (1994)
Michal Walicki, Sigurd Meldal
Sets and Nondeterminism. ICLP Workshop on Logic Programming with Sets (1993)
Sigurd Meldal
A Complete Axiomatic Semantics of Spawning. Distributed Comput. 5 (1991)
Neel Madhav, Sigurd Meldal
An object-oriented approach to formal specification of reactive systems. ICDCS (1991)
John C. Mitchell, Sigurd Meldal, Neel Madhav
An Extension of Standard ML Modules with Subtyping and Inheritance. POPL (1991)
Sigurd Meldal, Sriram Sankar, James Vera
Exploiting Locality in Maintaining Potential Causality. PODC (1991)
David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler
Task Sequencing Languages for Specifying Distributed Ada Systems. System Development and Ada (1986)
Sigurd Meldal
Partial Correctness of Exits from Concurrent Structures. BIT 26 (3) (1986)
Sigurd Meldal
An Axiomatic Semantics for Nested Concurrency. BIT 26 (2) (1986)