Sage Journals: Discover world-class research

Retricted access

Research article

First published 2002-10

Comparing Refinements for Failure and Bisimulation Semantics

Rik Eshuis, Maarten M. Fokkinga

Fundamenta Informaticae

Retricted access

Research article

First published 1999-12

Full Abstractness of a Metric Semantics for Action Refinement

J.I. den Hartog, E.P. de Vink, J.W. de Bakker

Fundamenta Informaticae

Retricted access

Research article

First published 1991

About Semantic Action Refinement

Philippe Darondeau, Pierpaolo Degano

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

J.W. de Bakker, E.P. de Vink

Fundamenta Informaticae

Retricted access

Research article

First published 2024-10-24

Irregular adaptive refinement network for semantic segmentation of high-resolution remote sensing images

Lulu Deng, Changlun Zhang, Qiang He [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2006-11

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching

Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden

Fundamenta Informaticae

Retricted access

Research article

First published 1993

Deciding Clause Classes by Semantic Clash Resolution

Alexander Leitsch

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

Enabling keyword search on Linked Data repositories: An ontology-based approach

Carlos Bobed, Guillermo Esteban, Eduardo Mena

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2006-07

Is there a critical period for semantics?

Roumyana Slabakova

Second Language Research

Retricted access

Research article

First published 2012-6

Cognitive Function of Music. Part I

Leonid Perlovsky

Interdisciplinary Science Reviews

Search results