skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering and Formal Methods

Robert Merayo, Mercedes G. Bravetti, Mario Hierons Mario Bravetti; Mercedes G Merayo

Springer Berlin Heidelberg 2013

Acesso online

2
Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedings
Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedings

WS-FM 2006 (2006 Vienna, Austria) Mario Bravetti; Manuel N u nez Profesor; Gianluigi Zavattaro

Berlin Springer New York 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4184 ) e outros locais(Acessar)

3
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings

EPEW (2005 Versailles, France) Mario Bravetti; Le ila Kloul; Gianluigi Zavattaro; International Workshop on Web Services and Formal Methods (2005 Versailles, France)

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

4
Axiomatizing Maximal Progress and Discrete Time
Axiomatizing Maximal Progress and Discrete Time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Axiomatizing Maximal Progress and Discrete Time

Bravetti, Mario

Logical methods in computer science, 2021-01, Vol.17, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
5
Asynchronous session subtyping as communicating automata refinement
Asynchronous session subtyping as communicating automata refinement
Material Type:
Artigo 		Adicionar ao Meu Espaço

Asynchronous session subtyping as communicating automata refinement

Bravetti, Mario ; Zavattaro, Gianluigi

Software and systems modeling, 2021-04, Vol.20 (2), p.311-333 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Towards Dynamic Updates in Service Composition
Towards Dynamic Updates in Service Composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Dynamic Updates in Service Composition

Bravetti, Mario

Electronic proceedings in theoretical computer science, 2015-12, Vol.201 (Proc. FOCLASA 2015), p.1-17

Open Publishing Association

Texto completo disponível

Citações Citado por
7
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Bravetti, Mario ; Carbone, Marco ; Lange, Julien ; Yoshida, Nobuko ; Zavattaro, Gianluigi

Logical methods in computer science, 2021-03, Vol.17, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
8
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Choreographies and Behavioural Contracts on the Way to Dynamic Updates

Bravetti, Mario ; Zavattaro, Gianluigi

Electronic proceedings in theoretical computer science, 2014-11, Vol.168 (Proc. MOD* 2014), p.12-31

Open Publishing Association

Texto completo disponível

Citações Citado por
9
Reduction semantics in Markovian process algebra
Reduction semantics in Markovian process algebra
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reduction semantics in Markovian process algebra

Bravetti, Mario

Journal of logical and algebraic methods in programming, 2018-04, Vol.96, p.41-64 [Periódico revisado por pares]

Elsevier

Texto completo disponível

Citações Citado por
10
On the boundary between decidability and undecidability of asynchronous session subtyping
On the boundary between decidability and undecidability of asynchronous session subtyping
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the boundary between decidability and undecidability of asynchronous session subtyping

Bravetti, Mario ; Carbone, Marco ; Zavattaro, Gianluigi

Theoretical computer science, 2018-04, Vol.722, p.19-51 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (67)
  2. Anais de Congresso  (34)
  3. Book Chapters  (25)
  4. Livros  (11)
  5. Conjunto de Dados  (2)
  6. magazinearticle  (1)
  7. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.