O presente artigo aborda o movimento feminista sob uma ótica alternativa à habitual com objetivo de desmistificar algumas ações supostamente libertárias realizadas por ou em nome mulheres, sendo dentre elas consideradas verdadeiros ícones do movimento. Para isso, buscou-se realizar investigação histórica sobre eventos relacionados causa e análise peças publicitárias, meio método Percurso Gerati...

To encourage girls and women to pursue STEAM careers, it is crucial increase the positive representation of female role models in science. The study uses Bechdel test an adapted Greimas Actantial Method analyse mainstream films. Results show that characters are often attractive, Caucasian scientists, not mothers, play secondary roles above all. most represented careers were Biology, Astronomy, ...

Since a few years, the terms of virtual, synthetic or digital actors have been extensively used in order to describe very different kinds of entities. The term “actor” is well-known in the world of cinema and everybody knows it. A Hollywood-like actor is first a human personality. In the context of software, an actor as introduced by Hewitt [1] in 1971 is essentially an object that can send or ...

Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribb...

We introduce an actor language following a “process algebra” style. The idea is to define a formalism that enjoys a clean formal definition allowing the reuse of the rich algebraic theory typical of the process algebras in a context where an high level object oriented programming style is preserved. We provide an operational semantics based on a labelled transition system which allows to discus...

Programmers often code up asynchronous message-passing systems as communicating finite-state actors. An actor in some state listens for messages, responds to those messages, and transitions to another state. Most of these systems allow messages to carry actor addresses. This paper presents a kernel language for implementing and specifying such systems. A specification consists of finite-state m...