A Rewriting Logic Implementation of Erlang

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80928-9 ◽

2001 ◽

Vol 44 (2) ◽

pp. 206-224 ◽

Author(s):

Thomas Noll

Keyword(s):

Rewriting Logic

Download Full-text

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Multiagent and Grid Systems ◽

10.3233/mgs-180298 ◽

2019 ◽

Vol 14 (4) ◽

pp. 403-418 ◽

Author(s):

Ammar Boucherit ◽

Abdallah Khababa ◽

Laura M. Castro

Keyword(s):

Multi Agent System ◽

Rewriting Logic ◽

Agent System ◽

System Models ◽

Download Full-text

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2012.11.011 ◽

2012 ◽

Vol 290 ◽

pp. 51-67 ◽

Author(s):

Mark Hills ◽

Feng Chen ◽

Grigore Roşu

Keyword(s):

Rewriting Logic ◽

Units Of Measurement ◽

Logic Approach ◽

Static Checking

Download Full-text

Modeling Distributed Systems in Rewriting Logic

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_8 ◽

2017 ◽

pp. 127-144 ◽

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Distributed Systems ◽

Rewriting Logic

Download Full-text

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude

Advances in Soft Computing - International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008) ◽

10.1007/978-3-540-85863-8_50 ◽

2008 ◽

pp. 424-433 ◽

Author(s):

Gustavo Santos-García ◽

Miguel Palomino ◽

Alberto Verdejo

Keyword(s):

Neural Networks ◽

Rewriting Logic

Download Full-text

Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System

International Journal of Computer Applications ◽

10.5120/1755-2392 ◽

2011 ◽

Vol 13 (2) ◽

pp. 6-13 ◽

Author(s):

Ammar Boucherit ◽

Abdallah Khebaba ◽

Faiza Belala

Keyword(s):

Multi Agent System ◽

Critical Systems ◽

Rewriting Logic ◽

Agent System ◽

Download Full-text

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

Advances in Artificial Intelligence – SBIA 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28645-5_4 ◽

2004 ◽

pp. 31-40 ◽

Author(s):

Gabriel Aguilera ◽

Pablo Cordero ◽

Manuel Enciso ◽

Angel Mora ◽

Inmaculada Perez de Guzmán

Keyword(s):

Functional Dependencies ◽

Rewriting Logic

Download Full-text

Specification and Verification of Web Applications in Rewriting Logic

FM 2009: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-05089-3_50 ◽

2009 ◽

pp. 790-805 ◽

Author(s):

María Alpuente ◽

Demis Ballis ◽

Daniel Romero

Keyword(s):

Web Applications ◽

Rewriting Logic ◽

Specification And Verification

Download Full-text

Understanding Promise Theory Using Rewriting Logic

Inter-Domain Management - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72986-0_26 ◽

2007 ◽

pp. 204-207

Author(s):

Kyrre Begnum ◽

Mark Burgess

Keyword(s):

Rewriting Logic

Download Full-text

Research Directions in Rewriting Logic

Computational Logic ◽

10.1007/978-3-642-58622-4_10 ◽

1999 ◽

pp. 347-398 ◽

Author(s):

José Meseguer

Keyword(s):

Rewriting Logic ◽

Research Directions

Download Full-text

Modeling an Autonomous Vehicle Group Control System as a Hybrid Automaton and its Specification and Verification in Rewriting Logic

2021 36th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC) ◽

10.1109/itc-cscc52171.2021.9501418 ◽

2021 ◽

Author(s):

Yifan Wang ◽

Masaki Nakamura ◽

Kazutoshi Sakakibara

Keyword(s):

Control System ◽

Autonomous Vehicle ◽

Vehicle Group ◽

Rewriting Logic ◽

Hybrid Automaton ◽

Group Control ◽

Specification And Verification

Download Full-text