A timed semantics of Orc (Q935476): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2008.04.037
@@ Property / DOI: 10.1016/j.tcs.2008.04.037 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60308244
@@ Property / Wikidata QID: Q60308244 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.04.037
+Normal rank
@@ Property / OpenAlex ID @@
+W2124831391
@@ Property / OpenAlex ID: W2124831391 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable rewriting logic semantics of Orc and formal analysis of Orc programs
+Normal rank
@@ Property / cites work @@
+A causal semantic for time Petri nets
@@ Property / cites work: A causal semantic for time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time process algebra
@@ Property / cites work: Discrete time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Phase Commitment Protocol in an Extended π-Calculus
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4681453
@@ Property / cites work: Q4681453 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of timed coordination models
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Q2769443
@@ Property / cites work: Q2769443 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed semantics of Orc
@@ Property / cites work: A timed semantics of Orc / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2008.04.037
@@ Property / DOI: 10.1016/J.TCS.2008.04.037 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:935476