FORMALISING THE DOUBLE-PUSHOUT APPROACH TO GRAPH TRANSFORMATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 3:1, doi. 10.46298/LMCS-20(4:3)2024
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2024 AND VI 20 AND IP 4
Results: 25
1
2
A HIGHER-ORDER TRANSFORMATION APPROACH TO THE FORMALIZATION AND ANALYSIS OF BPMN USING GRAPH TRANSFORMATION SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 4:1, doi. 10.46298/LMCS-20(4:4)2024
- By:
- Publication type:
- Article
3
DESIGNING EQUILIBRIA IN CONCURRENT GAMES WITH SOCIAL WELFARE AND TEMPORAL LOGIC CONSTRAINTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 21:1, doi. 10.46298/LMCS-20(4:21)2024
- By:
- Publication type:
- Article
4
A TRULY CONCURRENT SEMANTICS FOR REVERSIBLE CCS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 20:1, doi. 10.46298/LMCS-20(4:20)2024
- By:
- Publication type:
- Article
5
UNIVERSAL QUANTITATIVE ALGEBRA FOR FUZZY RELATIONS AND GENERALISED METRIC SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 19:1, doi. 10.46298/LMCS-20(4:19)2024
- By:
- Publication type:
- Article
6
A CALCULUS FOR SCOPED EFFECTS & HANDLERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 17:1, doi. 10.46298/LMCS-20(4:17)2024
- By:
- Publication type:
- Article
7
HISTORY-DETERMINISTIC TIMED AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 1:1, doi. 10.46298/LMCS-20(4:1)2024
- By:
- Publication type:
- Article
8
TERMINATION OF GRAPH TRANSFORMATION SYSTEMS USING WEIGHTED SUBGRAPH COUNTING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 12:1, doi. 10.46298/LMCS-20(4:12)2024
- By:
- Publication type:
- Article
9
SUM AND TENSOR OF QUANTITATIVE EFFECTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 9:1, doi. 10.46298/LMCS-20(4:9)2024
- By:
- Publication type:
- Article
10
EQUIVALENCE OF EVAL-READBACK AND EVAL-APPLY BIG-STEP EVALUATORS BY STRUCTURING THE LAMBDA-CALCULUS'S STRATEGY SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 24:1, doi. 10.46298/LMCS-20(4:24)2024
- By:
- Publication type:
- Article
11
A CONE-THEORETIC BARYCENTER EXISTENCE THEOREM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 7:1, doi. 10.46298/LMCS-20(4:7)2024
- By:
- Publication type:
- Article
12
CONSTRUCTING CONCISE CHARACTERISTIC SAMPLES FOR ACCEPTORS OF OMEGA REGULAR LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 10:1, doi. 10.46298/LMCS-20(4:10)2024
- By:
- Publication type:
- Article
13
PRE-MEASURE SPACES AND PRE-INTEGRATION SPACES IN PREDICATIVE BISHOP-CHENG MEASURE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 2:1, doi. 10.46298/LMCS-20(4:2)2024
- By:
- Publication type:
- Article
14
ON THE HOME-SPACE PROBLEM FOR PETRI NETS AND ITS ACKERMANNIAN COMPLEXITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 23:1, doi. 10.46298/LMCS-20(4:23)2024
- By:
- Publication type:
- Article
15
ON THE RELATIVE ASYMPTOTIC EXPRESSIVITY OF INFERENCE FRAMEWORKS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 13:1, doi. 10.46298/LMCS-20(4:13)2024
- By:
- Publication type:
- Article
16
UNIFYING CUBICAL AND MULTIMODAL TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 25:1, doi. 10.46298/LMCS-20(4:25)2024
- By:
- Publication type:
- Article
17
REASONABLE SPACE FOR THE γ-CALCULUS, LOGARITHMICALLY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 15:1, doi. 10.46298/LMCS-20(4:15)2024
- By:
- Publication type:
- Article
18
KLEENE THEOREM FOR HIGHER-DIMENSIONAL AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 22:1, doi. 10.46298/LMCS-20(4:22)2024
- By:
- Publication type:
- Article
19
STRING DIAGRAMS FOR STRICTIFICATION AND COHERENCE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 8:1, doi. 10.46298/LMCS-20(4:8)2024
- By:
- Publication type:
- Article
20
ASYNCHRONOUS SESSION-BASED CONCURRENCY: DEADLOCK FREEDOM IN CYCLIC PROCESS NETWORKS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 6:1, doi. 10.46298/LMCS-20(4:6)2024
- By:
- Publication type:
- Article
21
FINE-GRAINED META-THEOREMS FOR VERTEX INTEGRITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 18:1, doi. 10.46298/LMCS-20(4:18)2024
- By:
- Publication type:
- Article
22
FAIR ASYNCHRONOUS SESSION SUBTYPING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 5:1, doi. 10.46298/LMCS-20(4:5)2024
- By:
- Publication type:
- Article
23
STOCHASTIC PROCESSES WITH EXPECTED STOPPING TIME.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 11:1, doi. 10.46298/LMCS-20(4:11)2024
- By:
- Publication type:
- Article
24
REFL-SPANNERS: A PURELY REGULAR APPROACH TO NON-REGULAR CORE SPANNERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 16:1, doi. 10.46298/LMCS-20(4:16)2024
- By:
- Publication type:
- Article
25
ON THE SEMANTIC EXPRESSIVENESS OF ISO- AND EQUI-RECURSIVE TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 14:1, doi. 10.46298/LMCS-20(4:14)2024
- By:
- Publication type:
- Article