TTL: A modular language for hardware/software systems design. (Q1400574): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An exercise in the automatic verification of asynchronous designs
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Q4536775
@@ Property / cites work: Q4536775 / rank @@
+Normal rank
@@ Property / cites work @@
+TTL: A modular language for hardware/software systems design.
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal definition of time in LOTOS
@@ Property / cites work: A formal definition of time in LOTOS / rank @@
+Normal rank
@@ Property / cites work @@
+CIRCAL and the representation of communication, concurrency, and time
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(03)00002-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1975999662
@@ Property / OpenAlex ID: W1975999662 / rank @@
+Normal rank