General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.06.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2081192801
@@ Property / OpenAlex ID: W2081192801 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703804
@@ Property / cites work: Q5703804 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q3662610
@@ Property / cites work: Q3662610 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q4934334
@@ Property / cites work: Q4934334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457681
@@ Property / cites work: Q5457681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767195
@@ Property / cites work: Q2767195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493907
@@ Property / cites work: Q4493907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Masked prioritized synchronization for interaction and control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310886
@@ Property / cites work: Q5310886 / rank @@
+Normal rank
@@ Property / cites work @@
+Contexts, refinement and determinism
@@ Property / cites work: Contexts, refinement and determinism / rank @@
+Normal rank
@@ Property / cites work @@
+General Refinement, Part Two: Flexible Refinement
@@ Property / cites work: General Refinement, Part Two: Flexible Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional failure-based semantic models for basic LOTOS
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/entcs/ReevesS08a
@@ Property / DBLP publication ID: journals/entcs/ReevesS08a / rank @@
+Normal rank