Resource-sensitive synchronization inference by abduction
DOI10.1145/2103656.2103694zbMATH Open1321.68165OpenAlexW4234149838MaRDI QIDQ2942882FDOQ2942882
Authors: Matko Botinčan, Mike Dodds, Suresh Jagannathan 
Publication date: 11 September 2015
Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://eprints.whiterose.ac.uk/79807/1/p309_botincan.pdf
Recommendations
- Reasoning about synchronization in GALS systems
- Abstraction-guided synthesis of synchronization
- scientific article; zbMATH DE number 7730616
- Inferring Synchronization under Limited Observability
- Using constraint propagation to reason about unsynchronized clocks
- Synchronizability for Verification of Asynchronously Communicating Systems
- scientific article; zbMATH DE number 1332633
- On deciding synchronizability for asynchronously communicating systems
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (2)
This page was built for publication: Resource-sensitive synchronization inference by abduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942882)
