A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376): Difference between revisions

@@ 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 / full work available at URL @@
+https://doi.org/10.1007/s00165-021-00530-x
+Normal rank
@@ Property / OpenAlex ID @@
+W3134644061
@@ Property / OpenAlex ID: W3134644061 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile Ambients with Timers and Types
@@ Property / cites work: Mobile Ambients with Timers and Types / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+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 @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed mobility in process algebra and Petri nets
@@ Property / cites work: Timed mobility in process algebra and Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+The safety-critical Java memory model formalised
@@ Property / cites work: The safety-critical Java memory model formalised / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to the design of compilers for object-oriented languages
+Normal rank
@@ Property / cites work @@
+Q2851053
@@ Property / cites work: Q2851053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998266
@@ Property / cites work: Q3998266 / rank @@
+Normal rank
@@ Property / cites work @@
+From algebra to operational semantics
@@ Property / cites work: From algebra to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Normal form approach to compiler design
@@ Property / cites work: Normal form approach to compiler design / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Semantics for Concurrent Programming
@@ Property / cites work: Unifying Semantics for Concurrent Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+In praise of algebra
@@ Property / cites work: In praise of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in concurrent Kleene algebra
@@ Property / cites work: Developments in concurrent Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Modelling Mobile IP with Mobile Petri Nets
@@ Property / cites work: Modelling Mobile IP with Mobile Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045275
@@ Property / cites work: Q3045275 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+The Space and Motion of Communicating Agents
@@ Property / cites work: The Space and Motion of Communicating Agents / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic verification of a mobile network
@@ Property / cites work: An algebraic verification of a mobile network / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying and Analyzing the Kademlia Protocol in Maude
+Normal rank
@@ Property / cites work @@
+A Maude environment for CafeOBJ
@@ Property / cites work: A Maude environment for CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Lectures on Petri nets. 1: Basic models. Advances in Petri nets
+Normal rank
@@ Property / cites work @@
+Q3922134
@@ Property / cites work: Q3922134 / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Model Checking Reconfigurable Petri Nets with Maude
+Normal rank
@@ Property / cites work @@
+Executable structural operational semantics in Maude
+Normal rank
@@ Property / cites work @@
+Q4201911
@@ Property / cites work: Q4201911 / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP approach for rTiMo
@@ Property / cites work: A UTP approach for rTiMo / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational Semantics for a Probabilistic Timed Shared-Variable Language
+Normal rank
@@ Property / cites work @@
+Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
+Normal rank