×

zbMATH — the first resource for mathematics

Morin, Rémi

Compute Distance To:
Author ID: morin.remi Recent zbMATH articles by "Morin, Rémi"
Published as: Morin, R.; Morin, Remi; Morin, Rémi
Documents Indexed: 24 Publications since 1998

Publications by Year

Citations contained in zbMATH

12 Publications have been cited 36 times in 25 Documents Cited by Year
Recognizable sets of message sequence charts. Zbl 1054.68558
Morin, Rémi
9
2002
Concurrent automata vs. asynchronous systems. Zbl 1156.68497
Morin, Rémi
5
2005
Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530
Kuske, Dietrich; Morin, Rémi
4
2000
Decompositions of asynchronous systems. Zbl 0940.68056
Morin, Rémi
4
1998
Unfolding synthesis of asynchronous automata. Zbl 1185.68380
Baudru, Nicolas; Morin, Rémi
3
2006
On regular message sequence chart languages and relationships to Mazurkiewicz trace theory. Zbl 0978.68078
Morin, Rémi
3
2001
Regular sets of pomsets with autoconcurrency. Zbl 1012.68135
Fanchon, Jean; Morin, Rémi
2
2002
Pomsets for local trace languages. Zbl 1031.68070
Kuske, Dietrich; Morin, Rémi
2
2002
Unambiguous shared-memory systems. Zbl 1206.68203
Morin, Rémi
1
2010
Semantics of deterministic shared-memory systems. Zbl 1160.68471
Morin, Rémi
1
2008
Synthesis of safe message-passing systems. Zbl 1135.68497
Baudru, Nicolas; Morin, Rémi
1
2007
The synthesis problem of netcharts. Zbl 1234.68285
Baudru, Nicolas; Morin, Rémi
1
2006
Unambiguous shared-memory systems. Zbl 1206.68203
Morin, Rémi
1
2010
Semantics of deterministic shared-memory systems. Zbl 1160.68471
Morin, Rémi
1
2008
Synthesis of safe message-passing systems. Zbl 1135.68497
Baudru, Nicolas; Morin, Rémi
1
2007
Unfolding synthesis of asynchronous automata. Zbl 1185.68380
Baudru, Nicolas; Morin, Rémi
3
2006
The synthesis problem of netcharts. Zbl 1234.68285
Baudru, Nicolas; Morin, Rémi
1
2006
Concurrent automata vs. asynchronous systems. Zbl 1156.68497
Morin, Rémi
5
2005
Recognizable sets of message sequence charts. Zbl 1054.68558
Morin, Rémi
9
2002
Regular sets of pomsets with autoconcurrency. Zbl 1012.68135
Fanchon, Jean; Morin, Rémi
2
2002
Pomsets for local trace languages. Zbl 1031.68070
Kuske, Dietrich; Morin, Rémi
2
2002
On regular message sequence chart languages and relationships to Mazurkiewicz trace theory. Zbl 0978.68078
Morin, Rémi
3
2001
Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530
Kuske, Dietrich; Morin, Rémi
4
2000
Decompositions of asynchronous systems. Zbl 0940.68056
Morin, Rémi
4
1998

Citations by Year