×

zbMATH — the first resource for mathematics

Mousavi, Mohammadreza

Compute Distance To:
Author ID: mousavi.mohammadreza Recent zbMATH articles by "Mousavi, Mohammadreza"
Published as: Mousavi, M.; Mousavi, Mohammad Reza; Mousavi, MohammadReza; Mousavi, Mohammadreza
Documents Indexed: 55 Publications since 2004, including 4 Books

Publications by Year

Citations contained in zbMATH

32 Publications have been cited 169 times in 96 Documents Cited by Year
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
27
2007
Modeling and analysis of communicating systems. Zbl 1353.68006
Groote, Jan Friso; Mousavi, Mohammad Reza
17
2014
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
8
2005
SOS for higher order processes. Zbl 1134.68450
Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A.
8
2005
Congruence for structural congruences. Zbl 1118.68534
Mousavi, Mohammad Reza; Reniers, Michel A.
7
2005
Exact simulation of point processes with stochastic intensities. Zbl 1234.62126
Giesecke, K.; Kakavand, H.; Mousavi, M.
6
2011
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
5
2009
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
4
2009
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
4
2006
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322
Beohar, Harsh; Mousavi, Mohammad Reza
2
2015
Formal modeling of evolving self-adaptive systems. Zbl 1264.68131
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza
2
2012
Synchronizing asynchronous conformance testing. Zbl 1350.68048
Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C.
2
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2
2011
PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575
Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel
2
2009
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
2
2006
Input-output conformance testing for software product lines. Zbl 1392.68144
Beohar, Harsh; Mousavi, Mohammad Reza
1
2016
Modular semantics for transition system specifications with negative premises. Zbl 1390.68465
Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza
1
2013
Symmetry and partial order reduction techniques in model checking Rebeca. Zbl 1185.68142
Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
1
2010
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125
Mousavi, MohammadReza; Reniers, Michel
1
2007
Input-output conformance testing for software product lines. Zbl 1392.68144
Beohar, Harsh; Mousavi, Mohammad Reza
1
2016
A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322
Beohar, Harsh; Mousavi, Mohammad Reza
2
2015
Modeling and analysis of communicating systems. Zbl 1353.68006
Groote, Jan Friso; Mousavi, Mohammad Reza
17
2014
Modular semantics for transition system specifications with negative premises. Zbl 1390.68465
Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza
1
2013
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Formal modeling of evolving self-adaptive systems. Zbl 1264.68131
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza
2
2012
Exact simulation of point processes with stochastic intensities. Zbl 1234.62126
Giesecke, K.; Kakavand, H.; Mousavi, M.
6
2011
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
Synchronizing asynchronous conformance testing. Zbl 1350.68048
Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C.
2
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2
2011
Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
Symmetry and partial order reduction techniques in model checking Rebeca. Zbl 1185.68142
Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
1
2010
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
5
2009
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
4
2009
PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575
Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel
2
2009
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
27
2007
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125
Mousavi, MohammadReza; Reniers, Michel
1
2007
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
4
2006
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
2
2006
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
8
2005
SOS for higher order processes. Zbl 1134.68450
Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A.
8
2005
Congruence for structural congruences. Zbl 1118.68534
Mousavi, Mohammad Reza; Reniers, Michel A.
7
2005
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
all top 5

Cited by 146 Authors

18 Aceto, Luca
18 Ingólfsdóttir, Anna
14 Reniers, Michel Adriaan
10 Mousavi, Mohammadreza
6 Gregorio-Rodríguez, Carlos
5 Cimini, Matteo
5 Fábregas, Ignacio
5 Groote, Jan Friso
5 Mousavi, Mohammad Reza
4 de Frutos-Escrig, David
4 Klin, Bartek
4 Tini, Simone
4 van Glabbeek, Robert Jan
3 Bergstra, Jan A.
3 Durier, Adrien
3 García-Pérez, Álvaro
3 Gebler, Daniel E.
3 Ghassemi, Fatemeh
3 Hirschkoff, Daniel
3 Khosravi, Ramtin
3 Lee, Insup
3 Middelburg, Cornelis A.
3 Phillips, Iain W.
3 Sangiorgi, Davide
3 Sokolsky, Oleg
3 Ulidowski, Irek
2 Beohar, Harsh
2 Colvin, Robert J.
2 Cuijpers, Pieter J. L.
2 Fokkink, Wan
2 Goriac, Eugen-Ioan
2 Hennicker, Rolf
2 Lenglet, Sergueï
2 Li, Chenxu
2 Luttik, Bas
2 Man, Ka Lok
2 Mosses, Peter D.
2 Ortega-Mallén, Yolanda
2 Philippou, Anna
2 Rooda, Jacobus E.
2 Schiffelers, R. R. H.
2 Schmitt, Alan
2 Stefani, Jean-Bernard
2 van Beek, D. A.
2 Van Weerdenburg, Muck J.
2 Willemse, Tim A. C.
1 Abbasi, Rosa
1 Ahn, Sojin
1 Arbab, Farhad
1 Ata, Baris
1 Baeten, Jos C. M.
1 Baranov, Eduard
1 Barbosa, Luís Soares
1 Barbuti, Roberto
1 Bauer, Sebastian S.
1 Birgisson, Arnar
1 Bliudze, Simon
1 Bodeveix, Jean-Paul
1 Bonsangue, Marcello Maria
1 Bortolussi, Luca
1 Bres, Emile
1 Bruni, Roberto
1 Buscemi, Maria Grazia
1 Campi, Luciano
1 Capobianco, Silvio
1 Caravagna, Giulio
1 Castiglioni, Valentina
1 Chen, Dachuan
1 Choi, Jin Young
1 Cleaveland, Rance
1 Corradini, Andrea
1 Corradini, Flavio
1 D’Argenio, Pedro Rubén
1 Dassios, Angelos
1 de Vink, Erik P.
1 Fantechi, Alessandro
1 Fares, Elie
1 Filali, Mamoun
1 Gabbay, Murdoch James
1 Gadducci, Fabio
1 Galpin, Vashti
1 Garavel, Hubert
1 Gnesi, Stefania
1 Hainaut, Donatien
1 Hayes, Ian J.
1 Hillston, Jane
1 Höfner, Peter
1 Huang, Xiaowei
1 Hwang, Dae Yon
1 Jalili, Saeed
1 Jansen, David N.
1 Jiao, Li
1 Johansen, Christian
1 Johnsen, Einar Broch
1 Kang, Inhye
1 Keiren, Jeroen J. A.
1 Khadim, U.
1 Khakpour, Narges
1 Larsen, Kim Guldstrand
1 le Courtois, Olivier
...and 46 more Authors

Citations by Year