You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (624)

Journals (0)

1-10 of 624 results for operational semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Exploiting Labels in Structural Operational Semantics

Retricted access

Research article

First published 2004-4

Exploiting Labels in Structural Operational Semantics

Peter D. Mosses

Fundamenta Informaticae

Select article: Programming mobile intelligent agents: An operational semantics

Retricted access

Research article

First published 2007-2

Programming mobile intelligent agents: An operational semantics

A. Suna, A. El Fallah Seghrouchni

Web Intelligence

Select article: Operational Semantics,Interval Orders and Sequences of Antichains

Retricted access

Research article

First published 2019

Operational Semantics,Interval Orders and Sequences of Antichains

Ryszard Janicki, Maciej Koutny

Fundamenta Informaticae

Select article: SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 1

Retricted access

Research article

First published 2017-4-18

SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX 1

Marco Gavanelli

Intelligenza Artificiale

Select article: Analysis of OWA operators for automatic keyphrase extraction in a semantic context

Retricted access

Research article

First published 2020-1

Analysis of OWA operators for automatic keyphrase extraction in a semantic context

Yamel Pérez-Guadarramas, Manuel Barreiro-Guerrero, Alfredo Simón-Cuevas [...]

Intelligent Data Analysis: An International Journal

Select article: Parameterized Structured Operational Semantics

Retricted access

Research article

First published 1998-5

Parameterized Structured Operational Semantics

Gian Luigi Ferrari, Ugo Montanari

Fundamenta Informaticae

Select article: Operational and Denotational Semantics with Explicit Concurrency

Retricted access

Research article

First published 1992

Operational and Denotational Semantics with Explicit Concurrency

Manfred Broy

Fundamenta Informaticae

Select article: Big-step Operational Semantics Revisited

Retricted access

Research article

First published 2010-9

Big-step Operational Semantics Revisited

JarosłAw Dominik Mateusz Kuśmierek, Viviana Bono

Fundamenta Informaticae

Select article: An Operational Semantics and Compiler for Real-Time Specifications 1

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

Select article: An Operational Petri Net Semantics for A 2 CCS

Retricted access

Research article

First published 2011-5

An Operational Petri Net Semantics for A 2 CCS

Roberto Gorrieri, Cristian Versari

Fundamenta Informaticae

1
2
3
•••
63
10 / page

Article type

Publication date

Subjects

Access