An overview of the K semantic framework (Q987974): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2010.03.012
@@ Property / DOI: 10.1016/j.jlap.2010.03.012 / rank @@
-Normal rank
@@ Property / author @@
-Traian-Florin Şerbănuţă
@@ Property / author: Traian-Florin Şerbănuţă / rank @@
-Normal rank
@@ Property / author @@
+Traian-Florin Şerbănuţă
@@ Property / author: Traian-Florin Şerbănuţă / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaFAN
@@ Property / describes a project that uses: JavaFAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KOOL
@@ Property / describes a project that uses: KOOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K-Maude
@@ Property / describes a project that uses: K-Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MGS
@@ Property / describes a project that uses: MGS / rank @@
+Normal rank
@@ 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.jlap.2010.03.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2048417351
@@ Property / OpenAlex ID: W2048417351 / rank @@
+Normal rank
@@ Property / cites work @@
+The gamma model and its discipline of programming
@@ Property / cites work: The gamma model and its discipline of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486047
@@ Property / cites work: Q5486047 / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane systems with promoters/inhibitors
@@ Property / cites work: Membrane systems with promoters/inhibitors / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Approach to Type Inference
@@ Property / cites work: A Rewriting Logic Approach to Type Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+MGS
@@ Property / cites work: MGS / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
+Normal rank
@@ Property / cites work @@
+Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q3805933
@@ Property / cites work: Q3805933 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project
@@ Property / cites work: The rewriting logic semantics project / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+Pragmatics of Modular SOS
@@ Property / cites work: Pragmatics of Modular SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+The power of communication: P systems with symport/antiport
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting logic approach to operational semantics
+Normal rank
@@ Property / cites work @@
+Defining and Executing P Systems with Structured Data in K
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2010.03.012
@@ Property / DOI: 10.1016/J.JLAP.2010.03.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:987974