More on bisimulations for higher order \(\pi\)-calculus (Q442289): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B40 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6064622 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
process calculi | |||
| Property / zbMATH Keywords: process calculi / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
bisimulations | |||
| Property / zbMATH Keywords: bisimulations / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
higher order \(\pi \)-calculus | |||
| Property / zbMATH Keywords: higher order \(\pi \)-calculus / rank | |||
Normal rank | |||
Revision as of 02:20, 30 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | More on bisimulations for higher order \(\pi\)-calculus |
scientific article |
Statements
More on bisimulations for higher order \(\pi\)-calculus (English)
0 references
10 August 2012
0 references
process calculi
0 references
bisimulations
0 references
higher order \(\pi \)-calculus
0 references
