Contexts, refinement and determinism (Q541213): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5904439 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
refinement | |||
Property / zbMATH Keywords: refinement / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
determinism | |||
Property / zbMATH Keywords: determinism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
frames | |||
Property / zbMATH Keywords: frames / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59651675 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2069250051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4473719 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Process Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A singleton failures semantics for communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing equivalences for processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4762658 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relational concurrent refinement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ZB 2005: Formal Specification and Development in Z and B / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4934334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5457681 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2767195 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2760253 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3777424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Masked prioritized synchronization for interaction and control of discrete event systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3833630 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5310886 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generic Tools via General Refinement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vertical implementation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4243759 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositional failure-based semantic models for basic LOTOS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2760238 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:52, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Contexts, refinement and determinism |
scientific article |
Statements
Contexts, refinement and determinism (English)
0 references
6 June 2011
0 references
refinement
0 references
determinism
0 references
frames
0 references
0 references