290 search results - page 11 / 58 » Congruence for Structural Congruences |
JSYML
2008
13 years 7 months ago
2008
We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an...
JLP
2010
13 years 2 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
ICALP
2003
Springer
14 years 18 days ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
MFCS
1991
Springer
13 years 11 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
EUSFLAT
2007
13 years 8 months ago
2007
To a fuzzy choice function C we assign the indicators of revealed preference WAFRP(C), SAFRP(C) and the indicators of congruence WFCA(C), SFCA(C). These indicators measure the deg...