Sigurd Meldal

According to our database, Sigurd Meldal authored at least 20 papers between 1986 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Measuring Component-Based Systems Using a Systematic Approach and Environment.

Jerry Gao, Yumei Wu, Lee Chang, Sigurd Meldal

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

2001

Computation Algebras.

Michal Walicki, Magne Haveraaen, Sigurd Meldal

Math. Struct. Comput. Sci., 2001

Nondeterminism vs. Underspecification.

Michal Walicki, Sigurd Meldal

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

Compositional Homomorphisms of Relational Structures.

Michal Walicki, Adis Hodzic, Sigurd Meldal

Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

1997

Singular and Plural Nondeterministic Parameters.

Michal Walicki, Sigurd Meldal

SIAM J. Comput., 1997

Algebraic Approaches to Nondeterminism: An Overview.

Michal Walicki, Sigurd Meldal

ACM Comput. Surv., 1997

NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification.

Sigurd Meldal, David C. Luckham

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1995

A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.

Michal Walicki, Sigurd Meldal

ACM Trans. Program. Lang. Syst., 1995

Generated Models and the omega-Rule: The Nondeterministic Case.

Michal Walicki, Sigurd Meldal

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

An Algebraic Approach to Refinement of KBS Specification.

Anca I. Vermesan, Sigurd Meldal

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

1994

On Specialization of Derivations in Axiomatic Equality Theories.

Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.

Michal Walicki, Sigurd Meldal

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Sets and Nondeterminism.

Michal Walicki, Sigurd Meldal

Proceedings of the Workshop on Logic Programming with Sets, 1993

1991

A Complete Axiomatic Semantics of Spawning.

Sigurd Meldal

Distributed Comput., 1991

An Extension of Standard ML Modules with Subtyping and Inheritance.

John C. Mitchell, Sigurd Meldal, Neel Madhav

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Exploiting Locality in Maintaining Potential Causality.

Sigurd Meldal, Sriram Sankar, James Vera

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

An object-oriented approach to formal specification of reactive systems.

Neel Madhav, Sigurd Meldal

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1986

Partial Correctness of Exits from Concurrent Structures.

Sigurd Meldal

BIT, 1986

An Axiomatic Semantics for Nested Concurrency.

Sigurd Meldal

BIT, 1986

Task Sequencing Languages for Specifying Distributed Ada Systems.

David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler

Proceedings of the Software Development and Ada, 1986