1,248 results on '"José Meseguer"'
Search Results
202. Syntax and Basic Parsing.
203. Module Operations.
204. LTL Model Checking.
205. Predefined Data Modules.
206. Functional Modules.
207. Playing with Maude.
208. Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.
209. A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
210. From OBJ to Maude and Beyond.
211. State Space Reduction of Rewrite Theories Using Invisible Transitions.
212. Order-sorted Equational Generalization Algorithm Revisited
213. Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.
214. A Categorical Approach to Simulations.
215. A Rewriting Logic Sampler.
216. Natural Narrowing for General Term Rewriting Systems.
217. Localized Fairness: A Rewriting Semantics.
218. A Sufficient Completeness Reasoning Tool for Partial Specifications.
219. Termination of Fair Computations in Term Rewriting.
220. Functorial Semantics of Rewrite Theories.
221. Computational Logical Frameworks and Generic Program Analysis Technologies.
222. A rewriting-based inference system for the NRL protocol analyzer: grammar generation.
223. Formal Analysis of Java Programs in JavaFAN.
224. Specification and Analysis of Real-Time Systems Using Real-Time Maude.
225. Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.
226. Theoroidal Maps as Algebraic Simulations.
227. Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.
228. Modular Rewriting Semantics of Programming Languages.
229. Formal JVM Code Analysis in JavaFAN.
230. Natural Rewriting for General Term Rewriting Systems.
231. Proving termination of membership equational programs.
232. Generalized Rewrite Theories.
233. Certifying and Synthesizing Membership Equational Proofs.
234. The Maude 2.0 System.
235. Equational Abstractions.
236. Algebraic Theories for Contextual Pre-nets.
237. A Rewriting Based Model for Probabilistic Distributed Object Systems.
238. The Maude LTL Model Checker and Its Implementation.
239. The rewriting logic semantics project: A progress report.
240. A Total Approach to Partial Algebraic Specification.
241. Semantic Models for Distributed Object Reflection.
242. Pathway Logic: Symbolic Analysis of Biological Signaling.
243. Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
244. Mapping Modular SOS to Rewriting Logic.
245. Effective Sequential Protocol Composition in Maude-NPA.
246. Rewriting Logic as a Unifying Framework for Petri Nets.
247. Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
248. The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability).
249. Folding variant narrowing and optimal variant termination.
250. On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.