A cylinder computation model for many-core parallel computing

DOI10.1016/j.tcs.2012.02.011zbMath1416.68074OpenAlexW2050552305MaRDI QIDQ391222

Cong Tian, Nan Zhang, Zhenhua Duan

Publication date: 10 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.02.011

zbMATH Keywords

projectionparallel computingtemporal logicmany-core

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A compiler for MSVL and its applications, A temporal programming model with atomic blocks based on projection temporal logic, A mechanism of function calls in MSVL, A complete axiom system for propositional projection temporal logic with cylinder computation model, A decision procedure and complete axiomatization for projection temporal logic, Compositional reasoning using intervals and time reversal, Linear time-dependent constraints programming with MSVL, A novel approach to verifying context free properties of programs, A formal proof of the deadline driven scheduler in PPTL axiomatic system

Uses Software

• PNML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logic programming
• A calculus of communicating systems
• Operational semantics of Framed Tempura
• Framed temporal logic programming
• A decision procedure for propositional projection temporal logic with infinite models
• Complexity of propositional projection temporal logic with star
• Verifying properties of parallel programs
• Formal verification of parallel programs
• Communicating sequential processes