Filtrer vos résultats
- 33
- 2
- 20
- 10
- 3
- 1
- 1
- 1
- 33
- 21
- 7
- 4
- 4
- 5
- 2
- 3
- 4
- 3
- 2
- 1
- 34
- 1
- 10
- 7
- 4
- 4
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 35
- 10
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
35 résultats
|
|
triés par
|
|
Reversible Barbed Congruence on Configuration Structures8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩
Communication dans un congrès
hal-01157974v2
|
||
|
Replications in Reversible Concurrent Calculi2023
Pré-publication, Document de travail
hal-04174437v1
|
||
|
Processes Against Tests: Defining Contextual Equivalences2022
Pré-publication, Document de travail
hal-03535565v1
|
||
|
Realizing Implicit Computational Complexity2022
Pré-publication, Document de travail
hal-03603510v2
|
||
|
Certifying Complexity Analysis2023
Pré-publication, Document de travail
hal-04083105v1
|
||
|
Sublogarithmic uniform Boolean proof netsDevelopments in Implicit Computational Complexity, Apr 2011, Sarrebruck, Germany. pp.15--27, ⟨10.4204/EPTCS.75.2⟩
Communication dans un congrès
hal-00555403v1
|
||
|
Unification and Logarithmic SpaceJoint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, Jul 2014, Vienne, Austria. pp.77-92, ⟨10.1007/978-3-319-08918-8_6⟩
Communication dans un congrès
hal-01005698v1
|
||
|
Causal Consistent Replication in Reversible Concurrent Calculi2021
Pré-publication, Document de travail
hal-03384482v1
|
||
|
Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)2020
Pré-publication, Document de travail
hal-02118036v2
|
||
|
Logic Programming and Logarithmic Space12th Asian Symposium, APLAS 2014, Oct 2014, Singapour, Singapore. pp.39-57, ⟨10.1007/978-3-319-12736-1_3⟩
Communication dans un congrès
hal-01309159v1
|
||
|
The Correctness of Concurrencies in (Reversible) Concurrent Calculi2023
Pré-publication, Document de travail
hal-03950347v1
|
||
|
Unary Resolution: Characterizing Ptime.Foundations of Software Science and Computation Structures (FOSSACS), Apr 2016, Eindhoven, Netherlands. pp.373-389, ⟨10.1007/978-3-662-49630-5_22⟩
Communication dans un congrès
hal-01321239v1
|
||
|
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)2020
Pré-publication, Document de travail
hal-02571597v1
|
||
|
Process, Systems and Tests: Three Layers in Concurrent Computation (Short Paper)2020
Pré-publication, Document de travail
hal-02899123v1
|
||
|
Implementation of Reversible Distributed Calculus2023
Pré-publication, Document de travail
hal-04035458v1
|
||
|
Logarithmic Space and Permutations2013
Pré-publication, Document de travail
hal-01005701v1
|
||
|
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (Research Report)2020
Pré-publication, Document de travail
hal-02568250v1
|
||
|
Processes, Systems & Tests: Defining Contextual EquivalencesProceedings 14th Interaction and Concurrency Experience (ICE 2021), Jun 2021, Virtual Event, Malta. pp.1-21, ⟨10.4204/EPTCS.347.1⟩
Communication dans un congrès
hal-02895417v4
|
||
|
Characterizing co-NL by a group actionMathematical Structures in Computer Science, 2014, First View, pp.1--33. ⟨10.1017/S0960129514000267⟩
Article dans une revue
hal-01005705v1
|
||
|
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems2019
Pré-publication, Document de travail
hal-01778656v2
|
||
|
Quelle est la notion correcte de congruence structurelle pour une algèbre de processus?2020
Pré-publication, Document de travail
hal-02981196v1
|
||
|
pymwp: A Static Analyzer Determining Polynomial Growth BoundsAutomated Technology for Verification and Analysis (ATVA 2023), Oct 2023, Singapour, France. ⟨10.1007/978-3-031-45332-8_14⟩
Communication dans un congrès
hal-03269121v4
|
||
|
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity7th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel, Aug 2022, Haifa, Israel. pp.26:1--26:23, ⟨10.4230/LIPIcs.CVIT.2016.23⟩
Communication dans un congrès
hal-03596285v1
|
||
|
Logarithmic space and permutationsInformation and Computation, 2016, 248, pp.2-21. ⟨10.1016/j.ic.2014.01.018⟩
Article dans une revue
hal-02345670v1
|
||
|
Enabling Replications and Contexts in Reversible Concurrent Calculus2021
Pré-publication, Document de travail
hal-03183053v1
|
||
|
Unification and Logarithmic Space2015
Pré-publication, Document de travail
hal-01157984v1
|
||
|
An in-between "implicit" and "explicit" complexity: AutomataDICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom
Communication dans un congrès
hal-01111737v2
|
||
|
Concurrencies in Reversible Concurrent Calculi2022
Pré-publication, Document de travail
hal-03605003v1
|
||
|
Contextual equivalences in configuration structures and reversibilityJournal of Logical and Algebraic Methods in Programming, 2016
Article dans une revue
hal-01229408v2
|
||
|
Distributing and Parallelizing Non-canonical LoopsVerification, Model Checking, and Abstract Interpretation (VMCAI 2023), Jan 2023, Boston (MA), United States. ⟨10.1007/978-3-031-24950-1_1⟩
Communication dans un congrès
hal-03669387v2
|
- 1
- 2