Operational semantics of Framed Tempura (Q2378283): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2008.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2036750908
@@ Property / OpenAlex ID: W2036750908 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic programming
@@ Property / cites work: Temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical theory of programming
@@ Property / cites work: A practical theory of programming / rank @@
+Normal rank
@@ Property / cites work @@
+MetateM: An introduction
@@ Property / cites work: MetateM: An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in metric temporal logic
@@ Property / cites work: Programming in metric temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal semantics for concurrent METATEM
@@ Property / cites work: Temporal semantics for concurrent METATEM / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic programming: the language Cactus and its applications
+Normal rank
@@ Property / cites work @@
+Framed temporal logic programming
@@ Property / cites work: Framed temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational Semantics of Framed Temporal Logic Programs
+Normal rank
@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812209
@@ Property / cites work: Q3812209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3729994
@@ Property / cites work: Q3729994 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Negation in rule-based database languages: A survey
+Normal rank