×

zbMATH — the first resource for mathematics

Monteiro, Luís

Compute Distance To:
Author ID: monteiro.luis Recent zbMATH articles by "Monteiro, Luís"
Published as: Monteiro, Luís; Monteiro, Luis; Monteiro, L.
External Links: MGP
Documents Indexed: 15 Publications since 1981, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 14 times in 12 Documents Cited by Year
A language for contextual logic programming. Zbl 0832.68015
Monteiro, Luís; Porto, António
4
1993
A coalgebraic characterization of behaviours in the linear time – branching time spectrum. Zbl 1253.68230
Monteiro, Luís
3
2009
A noninterleaving model of concurrency based on transition systems with spatial structure. Zbl 1271.68193
Monteiro, Luís
3
2004
An extension to Horn clause logic allowing the definition of concurrent processes. Zbl 0486.68106
Monteiro, Luis
1
1981
Observation systems. Zbl 0966.68073
Monteiro, Luís
1
2000
Towards bialgebraic semantics for the linear time – branching time spectrum. Zbl 1312.68128
Maldonado, Ana Paula; Monteiro, Luís; Roggenbach, Markus
1
2012
Defining behaviours by quasi-finality. Zbl 1266.18004
Freire, Elisabete; Monteiro, Luís
1
2009
Towards bialgebraic semantics for the linear time – branching time spectrum. Zbl 1312.68128
Maldonado, Ana Paula; Monteiro, Luís; Roggenbach, Markus
1
2012
A coalgebraic characterization of behaviours in the linear time – branching time spectrum. Zbl 1253.68230
Monteiro, Luís
3
2009
Defining behaviours by quasi-finality. Zbl 1266.18004
Freire, Elisabete; Monteiro, Luís
1
2009
A noninterleaving model of concurrency based on transition systems with spatial structure. Zbl 1271.68193
Monteiro, Luís
3
2004
Observation systems. Zbl 0966.68073
Monteiro, Luís
1
2000
A language for contextual logic programming. Zbl 0832.68015
Monteiro, Luís; Porto, António
4
1993
An extension to Horn clause logic allowing the definition of concurrent processes. Zbl 0486.68106
Monteiro, Luis
1
1981

Citations by Year