Typed ψ-calculi (Q3090835): 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-642-23217-6_18 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W86813616 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Secrecy by typing in security protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Secrecy types for asymmetric communication. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Psi-calculi: a framework for mobile processes with nominal data and logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457838 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mobile ambients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ensuring termination by typability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal (Universal) Algebra: Equational Logic with Names and Binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generic type system for the pi-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Hybrid Type System for Lock-Freedom of Mobile Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Space and Motion of Communicating Agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837262 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trust and partial typing in open systems of mobile agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: The name discipline of uniform receptiveness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2734510 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explicit fusions / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:02, 4 July 2024

scientific article
Language Label Description Also known as
English
Typed ψ-calculi
scientific article

    Statements

    Identifiers