Entity usage

Showing below up to 27 results in range #51 to #77.

51. My ADT Shrine: Label: en
52. Building a Modal Interface Theory for Concurrency and Data: Label: en
53. Distances between Processes: A Pure Algebraic Approach: Label: en
54. A Generic Program Slicing Technique Based on Language Definitions: Label: en
55. Formal Specification of the Kademlia and the Kad Routing Tables in Maude: Label: en
56. Semantics of the Distributed Ontology Language: Institutes and Institutions: Label: en
57. Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics: Label: en
58. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl: Label: en
59. Barbed Semantics for Open Reactive Systems: Label: en
60. Statistical Model Checking for Composite Actor Systems: Label: en
61. Transformation Systems with Incremental Negative Application Conditions: Label: en
62. Compiling Logics: Label: en
63. Adaptable Transition Systems: Label: en
64. A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing: Label: en
65. Bounded Model Checking of Recursive Programs with Pointers in K: Label: en
66. Quantitative Modal Transition Systems: Label: en
67. Behaviour Protection in Modular Rule-Based System Specifications: Label: en
68. Open Multiparty Interaction: Label: en
69. A SOC-Based Formal Specification and Verification of Hybrid Systems: Label: en
70. A Full Operational Semantics for Asynchronous Relational Networks: Label: en
71. Use Case Analysis Based on Formal Methods: An Empirical Study: Label: en
72. What Is a Derived Signature Morphism?: Label: en
73. Foundations of Logic Programming in Hybridised Logics: Label: en
74. Coalgebraic Semantics of Heavy-Weighted Automata: Label: en
75. A Theoretical Foundation for Programming Languages Aggregation: Label: en
76. An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework: Label: en
77. On Logic Embeddings and Gödel’s God: Label: en