A presheaf environment for the explicit fusion calculus (Q2392481): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: CC-Pi / rank
 
Normal rank
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/s10817-011-9224-3 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2145026504 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Category of Explicit Fusions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic Models for Reactive Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic Semantics Revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic Symbolic Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some congruence properties for \(\pi\)-calculus bisimilarities / rank
 
Normal rank
Property / cites work
 
Property / cites work: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements / rank
 
Normal rank
Property / cites work
 
Property / cites work: Families of Symmetries as Efficient Models of Resource Binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetries, local names and dynamic (de)-allocation of names / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional SOS and beyond: A coalgebraic view of open systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparing operational models of name-passing process calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank
 
Normal rank
Property / cites work
 
Property / cites work: About permutation algebras, (pre)sheaves and named sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2847810 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536606 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Category theory for operational semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Categorical Model of the Fusion Calculus / 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: A calculus of mobile processes. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4018066 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal coalgebra: A theory of systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5685626 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relating Coalgebraic Notions of Bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-distributive laws and axiomatics for variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computation Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explicit fusions / rank
 
Normal rank

Latest revision as of 16:38, 6 July 2024

scientific article
Language Label Description Also known as
English
A presheaf environment for the explicit fusion calculus
scientific article

    Statements

    A presheaf environment for the explicit fusion calculus (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 August 2013
    0 references
    algebras
    0 references
    coalgebras
    0 references
    denotational semantics
    0 references
    nominal calculi
    0 references
    presheaf categories
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers