scientific article; zbMATH DE number 1759443
From MaRDI portal
Publication:4536393
Recommendations
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
- -calculus semantics for combinator calculi
- -calculus in (Co)inductive-type theory
- Automata and fixed point logics for coalgebras
- Coalgebraic Automata Theory: Basic Results
- scientific article; zbMATH DE number 1346361
- scientific article; zbMATH DE number 2185678
- scientific article; zbMATH DE number 1082078
- Generalizing determinization from automata to coalgebras
Cited in
(20)- Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
- A compositional coalgebraic model of fusion calculus
- Exploring nominal cellular automata
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- A general framework for types in graph rewriting
- Modeling fresh names in the {\(\pi\)}-calculus using abstractions
- A name abstraction functor for named sets
- Nominal automata for resource usage control
- Families of symmetries as efficient models of resource binding
- Modelling and Verifying Mobile Systems Using π-Graphs
- scientific article; zbMATH DE number 1231616 (Why is no real title available?)
- scientific article; zbMATH DE number 1927579 (Why is no real title available?)
- scientific article; zbMATH DE number 2087427 (Why is no real title available?)
- Regular and context-free nominal traces
- Algebra and Coalgebra in Computer Science
- Denotational semantics with nominal Scott domains
- On-the-fly bisimilarity checking for fresh-register automata
- Symmetries, local names and dynamic (de)-allocation of names
- About permutation algebras, (pre)sheaves and named sets
- Event based choreography
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536393)
