Parallel Processing and Applied Mathematics

DOI10.1007/B97218zbMATH Open1128.68370OpenAlexW2984027331MaRDI QIDQ5307362FDOQ5307362

Authors: Janusz Borkowski 

Publication date: 25 September 2007

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

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

Recommendations

• Predicate control: synchronization in distributed computations with look-ahead.
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Detecting global predicates in distributed systems with clocks
• Detection of global predicates: techniques and their limitations
• Detecting conjunctions of global predicates

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Predicate control: synchronization in distributed computations with look-ahead.
• Title not available (Why is that?)
• Finding missing synchronization in a distributed computation using controlled re-execution

This page was built for publication: Parallel Processing and Applied Mathematics

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