Rule Formats for Nominal Process Calculi
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications of NRTSs that ensure that the associated N...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Logical Methods in Computer Science e.V.
2019-10-01
|
| Schriftenreihe: | Logical Methods in Computer Science |
| Schlagworte: | |
| Online-Zugang: | https://lmcs.episciences.org/4678/pdf |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|