A Spatial Equational Logic for the Applied π-Calculus (Q3541032): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_31 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W113287545 / rank
 
Normal rank
Property / cites work
 
Property / cites work: BI as an assertion language for mutable data structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anytime, anywhere / rank
 
Normal rank
Property / cites work
 
Property / cites work: A spatial logic for concurrency. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Expressiveness of the Ambient Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mobile values, new names, and secure communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of mobile processes. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressiveness and complexity of graph logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computational Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Static Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Logical Characterisation of Static Equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensionality and intensionality of the ambient logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2004 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Spatial Equational Logic for the Applied π-Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus and logic of resources and processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Observing Distributed Computation. A Dynamic-Epistemic Approach / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 20:06, 28 June 2024

scientific article
Language Label Description Also known as
English
A Spatial Equational Logic for the Applied π-Calculus
scientific article

    Statements

    Identifiers