Sage Journals: Discover world-class research

Retricted access

Research article

First published 1998-8

An Operational Semantics and Compiler for Real-Time Specifications 1

Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok

Integrated Computer-Aided Engineering

Free access

Research article

First published 2008-8

Viewcharts: Syntax and Semantics

Ayaz Isazadeh, Jaber Karimpour

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2008-12

Logic-based Conflict Detection for Distributed Policies

Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini

Fundamenta Informaticae

Retricted access

Research article

First published 2007-2

Programming mobile intelligent agents: An operational semantics

A. Suna, A. El Fallah Seghrouchni

Web Intelligence

Retricted access

Research article

First published 2017

Concurrency Semantics in Continuation-Passing Style

Eneia Nicolae Todoran, Nikolaos Papaspyrou

Fundamenta Informaticae

Retricted access

Research article

First published

An outline of the use of transition systems to formalize JADE agents and multi-agent systems

Federico Bergenti, Eleonora Iotti, Agostino Poggi

Intelligenza Artificiale

Retricted access

Research article

First published 2006-8

A Rewriting Framework for Rule-Based Programming Dynamic Applications

Anatoliy Doroshenko, Ruslan Shevchenko

Fundamenta Informaticae

Retricted access

Research article

First published 1989-02

Modeling the Cognitive Content of Displays

Richard A. Chechile, Robert G. Eggleston, Rebecca N. Fleischman [...]

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 1978

SOL: an exercise in defining a language

A. Maggiolo-Schettini, G. Uccella

Fundamenta Informaticae

Retricted access

Research article

First published 2019-3

Toward a language-theoretic foundation for planning and filtering

Fatemeh Zahra Saberifar, Shervin Ghasemlou, Dylan A Shell [...]

The International Journal of Robotics Research

Search results