Pages that link to "Item:Q2378283"
From MaRDI portal
The following pages link to Operational semantics of Framed Tempura (Q2378283):
Displaying 8 items.
- A cylinder computation model for many-core parallel computing (Q391222) (← links)
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- A structural transformation from p-\(\pi\) to MSVL (Q2354315) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
