scientific article; zbMATH DE number 2006645

MaRDI QIDQ4436042zbMATH OpenFDO

Authors Neeraj Mittal, Vijay K. Garg

Publication date 23 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2180/21800078.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Techniques and applications of computation slicing
• Principles of Distributed Systems
• Efficient abstraction algorithms for predicate detection
• Program Slicing
• Modeling, analyzing and slicing periodic distributed computations

Cited in

(12)

• On the complexity of slice functions
• Techniques and applications of computation slicing
• Efficient abstraction algorithms for predicate detection
• Algorithmic combinatorics based on slicing posets
• Modeling, analyzing and slicing periodic distributed computations
• Correctly slicing extended finite state machines
• scientific article; zbMATH DE number 5506101 (Why is no real title available?)
• Testing Distributed Systems Through Symbolic Model Checking
• scientific article; zbMATH DE number 1954382 (Why is no real title available?)
• On optimal slicing of parallel programs
• Principles of Distributed Systems
• Finding diverse solutions in combinatorial problems with a distributive lattice structure

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436042)