scientific article
From MaRDI portal
Publication:3046721
zbMath1049.68815MaRDI QIDQ3046721
José Meseguer, Carolyn L. Talcott
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2374/23740001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Distributed systems (68M14)
Related Items
Complete symbolic reachability analysis using back-and-forth narrowing, Specification and analysis of the AER/NCA active network protocol suite in real-time Maude, Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols, Comparing three coordination models: Reo, ARC, and PBRD, Two Decades of Maude, Twenty years of rewriting logic, Symbolic execution of Reo circuits using constraint automata, Unnamed Item, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, Programming and symbolic computation in Maude, A White Box Perspective on Behavioural Adaptation, A Formal Framework for Interactive Agents, Comparing Three Coordination Models: Reo, ARC, and RRD, Narrowing and Rewriting Logic: from Foundations to Applications
Uses Software
