Fabricio Chalub

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg: A Formal Semantics for a Quality of Service Contract Language. Electr. Notes Theor. Comput. Sci. 203(7): 103-120 (2009)

2007

2 Fabricio Chalub, Christiano Braga: Maude MSOS Tool. Electr. Notes Theor. Comput. Sci. 176(4): 133-146 (2007)

2004

1 Fabricio Chalub, Christiano Braga: A Modular Rewriting Semantics for CML. J. UCS 10(7): 789-807 (2004)

	2009
3		Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg: A Formal Semantics for a Quality of Service Contract Language. Electr. Notes Theor. Comput. Sci. 203(7): 103-120 (2009)
	2007
2		Fabricio Chalub, Christiano Braga: Maude MSOS Tool. Electr. Notes Theor. Comput. Sci. 176(4): 133-146 (2007)
	2004
1		Fabricio Chalub, Christiano Braga: A Modular Rewriting Semantics for CML. J. UCS 10(7): 789-807 (2004)

Coauthor Index

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Christiano Braga (Christiano de O. Braga)	[1] [2] [3]
2	Alexandre Sztajnberg	[3]