Multiple-Labelled Transition Systems for nominal calculi and their logics (Q5458061): Difference between revisions

@@ Property / Wikidata QID @@
+Q124439110
@@ Property / Wikidata QID: Q124439110 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+The seal calculus
@@ Property / cites work: The seal calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mark, a reasoning kit for mobility
@@ Property / cites work: Mark, a reasoning kit for mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking mobile processes
@@ Property / cites work: Model checking mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129507006585
+Normal rank
@@ Property / OpenAlex ID @@
+W2067783335
@@ Property / OpenAlex ID: W2067783335 / rank @@
+Normal rank