Modular Specification of Concurrent Systems with Observational Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Localic sup-lattices and tropological systems
Theoretical Computer Science - Topology in computer science
Hypergraph functor and attachment
Fuzzy Sets and Systems
Fuzzy algebras as a framework for fuzzy topology
Fuzzy Sets and Systems
Generalized fuzzy topology versus non-commutative topology
Fuzzy Sets and Systems
On limits and colimits of variety-based topological systems
Fuzzy Sets and Systems
Categorical foundations of variety-based topology and topological systems
Fuzzy Sets and Systems
Information Sciences: an International Journal
| Hi-index | 5.23 |