1,248 results on '"José Meseguer"'
Search Results
302. Reduction Semantics and Formal Analysis of Orc Programs.
303. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.
304. Semantics and pragmatics of Real-Time Maude.
305. Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.
306. The rewriting logic semantics project.
307. Maude's module algebra.
308. Distributed Simulation of Parallel Executions.
309. Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.
310. Deduction, Strategies, and Rewriting.
311. A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis.
312. Narrowing and Rewriting Logic: from Foundations to Applications.
313. Recent Advances in Real-Time Maude.
314. Partial Order Reduction for Rewriting Semantics of Programming Languages.
315. Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics.
316. Abstraction and Completeness for Real-Time Maude.
317. Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer.
318. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
319. Complete symbolic reachability analysis using back-and-forth narrowing.
320. A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.
321. Semantic foundations for generalized rewrite theories.
322. The Rewriting Logic Semantics Project.
323. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.
324. A Verification Logic for Rewriting Logic.
325. Operational termination of conditional term rewriting systems.
326. On the Model of Computation of Place/Transition Petri Nets.
327. The Rewrite Rule Machine Node Architecture and Its Performance.
328. Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.
329. From Abstract Data Types to Logical Frameworks.
330. Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.
331. Real-Time Maude 2.1.
332. Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols.
333. Towards a Strategy Language for Maude.
334. Modular Rewriting Semantics in Practice.
335. Reflective metalogical frameworks.
336. Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming.
337. A Logical Semantics for Object-Oriented Databases.
338. May I Borrow Your Logic?
339. Structured theories and institutions.
340. On the Semantics of Petri Nets.
341. Multiparadigm Logic Programming.
342. Tiling Transactions in Rewriting Logic.
343. The Maude LTL Model Checker.
344. Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.
345. Towards Behavioral Maude: Behavioral Membership Equational Logic.
346. Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
347. Reflection in conditional rewriting logic.
348. Specification of real-time and hybrid systems in rewriting logic.
349. Maude: specification and programming in rewriting logic.
350. Rewriting logic: roadmap and bibliography.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.