Pierpaolo Degano (Q3460854): Difference between revisions

@@ Property / author @@
-Gian-Luigi Ferrari
@@ Property / author: Gian-Luigi Ferrari / rank @@
-Normal rank
@@ Property / author @@
-Corrado Priami
@@ Property / author: Corrado Priami / rank @@
-Normal rank
@@ Property / author @@
+Gian-Luigi Ferrari
@@ Property / author: Gian-Luigi Ferrari / rank @@
+Normal rank
@@ Property / author @@
+Corrado Priami
@@ Property / author: Corrado Priami / 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/978-3-319-25527-9_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2913431070
@@ Property / OpenAlex ID: W2913431070 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Effects for Resource Usage Analysis
@@ Property / cites work: Types and Effects for Resource Usage Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking usage policies
@@ Property / cites work: Model checking usage policies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957929
@@ Property / cites work: Q3957929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849853
@@ Property / cites work: Q2849853 / rank @@
+Normal rank
@@ Property / cites work @@
+Primitives for authentication in process algebras.
+Normal rank
@@ Property / cites work @@
+Static analysis for the \(\pi\)-calculus with applications to security
+Normal rank
@@ Property / cites work @@
+Flow logic for Dolev–Yao secrecy in cryptographic processes
+Normal rank
@@ Property / cites work @@
+Names of the \(\pi\)-calculus agents handled locally
+Normal rank
@@ Property / cites work @@
+Synapses as stochastic concurrent systems
@@ Property / cites work: Synapses as stochastic concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413202
@@ Property / cites work: Q4413202 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling biochemical pathways through enhanced \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3687696
@@ Property / cites work: Q3687696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774958
@@ Property / cites work: Q3774958 / rank @@
+Normal rank
@@ Property / cites work @@
+A distributed operational semantics of CCS based on condition/event systems
+Normal rank
@@ Property / cites work @@
+A partial ordering semantics for CCS
@@ Property / cites work: A partial ordering semantics for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Universal axioms for bisimulations
@@ Property / cites work: Universal axioms for bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766538
@@ Property / cites work: Q2766538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413247
@@ Property / cites work: Q4413247 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation Based Theorem Prover
@@ Property / cites work: An Evaluation Based Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
+Normal rank