Formal Methods for Open Object-Based Distributed Systems

DOI10.1007/B94120zbMath1253.68244OpenAlexW4205898334MaRDI QIDQ5902540

Nirman Kumar, Gul A. Agha, Koushik Sen, José Meseguer

Publication date: 12 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94120

zbMATH Keywords

probabilitynondeterminismMaudeactorsrewrite theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Distributed systems (68M14) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ Twenty years of rewriting logic ⋮ An Object-Oriented Component Model for Heterogeneous Nets ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude

Uses Software

• Maude

This page was built for publication: Formal Methods for Open Object-Based Distributed Systems