Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jlap.2004.01.004 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2021288161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4255591 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3837262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A type system for lock-free processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Secrecy by typing in security protocols / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4518881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributed processes and location failures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Assigning types to processes / 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: Q4536623 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The chemical abstract machine / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4270069 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4472460 / rank | |||
Normal rank |
Latest revision as of 09:56, 10 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analysing input/output-capabilities of mobile processes with a generic type system |
scientific article |
Statements
Analysing input/output-capabilities of mobile processes with a generic type system (English)
0 references
18 April 2005
0 references
\(\pi\)-calculus
0 references
Type systems
0 references
Lattice-ordered monoids
0 references