A cylinder computation model for many-core parallel computing

DOI10.1016/j.tcs.2012.02.011zbMath1416.68074MaRDI 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

projection; parallel computing; temporal logic; many-core

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

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

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