|
Actor Model And Process Calculi History
The actor model and process calculi share an interesting history and co-evolution. Early work The Actor model, first published in 1973, is a mathematical model of concurrent computation. The Actor model treats "Actors" as the universal primitives of concurrent digital computation: in response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and determine how to respond to the next message received. As opposed to the previous approach based on composing sequential processes, the Actor model was developed as an inherently concurrent model. In the Actor model sequentiality was a special case that derived from concurrent computation as explained in Actor model theory. Robin Milner's initial published work on concurrency from the same year was also notable in that it positions mathematical semantics of communicating processes as a framework to understand a variety of interaction agents including the computer's interaction with me ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Actor Model
The actor model in computer science is a mathematical model of concurrent computation that treats ''actor'' as the universal primitive of concurrent computation. In response to a message it receives, an actor can: make local decisions, create more actors, send more messages, and determine how to respond to the next message received. Actors may modify their own private state, but can only affect each other indirectly through messaging (removing the need for lock-based synchronization). The actor model originated in 1973. It has been used both as a framework for a theoretical understanding of computation and as the theoretical basis for several practical implementations of concurrent systems. The relationship of the model to other work is discussed in actor model and process calculi. History According to Carl Hewitt, unlike previous models of computation, the actor model was inspired by physics, including general relativity and quantum mechanics. It was also influenced by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operational Semantics
Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms ( denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the ''individual steps'' of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the ''overall results'' of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics. The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps. These sequences then ''are'' t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Akinori Yonezawa
is a Japanese computer scientist specializing in object-oriented programming, distributed computing and information security. Being a graduate of the University of Tokyo, Yonezawa has a Ph.D in computer science from MIT in the Actor group at the MIT AI Lab. He currently teaches at the University of Tokyo. He is the designer of ABCL/R, a reflective subset of the first concurrent object-oriented programming language ABCL/1. In November 2009, he was awarded with a Medal of Honour with purple ribbon by the Government of Japan. ''Mainichi Shimbun.'' November 2, 2009 (japanese). He won the Senior |
Georges Gonthier
Georges Gonthier is a Canadian computer scientist and one of the leading practitioners in formal mathematics. He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. (Both were written using the proof assistant Coq.) See also * Flyspeck proof led by Thomas Callister Hales Thomas Callister Hales (born June 4, 1958) is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the p ... References Personal Page at Microsoft ResearchPaper describing proof of the Four color theoremPress release from INRIA with links to Coq code of Feit-Thompson Proof 20th-century Canadian mathematicians Living people Year of birth missing (living people) {{mathematician-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eike Best
Eike Best (born 13 March 1951) is a German computer scientist, best known for his contributions to concurrency theory. Early life and education Eike Best was born in Neustadt an der Weinstraße. During his childhood, he lived in Argentina, Germany, and Turkey, where his father worked as high school teacher. Best received a high school diploma from thGerman School of Istanbulin 1969, a Diploma in Computer Science from the Technische Hochschule Karlsruhe in 1974, and a PhD from Newcastle University in 1981 for a dissertation on semantics, verification, and design of concurrent programs, supervised by Peter Lauer and Brian Randell. He habilitated in 1988 at the University of Bonn with a thesis on causal semantics of non-sequential programs. Career and contributions Best was research assistant in Carl Adam Petri's research group at the Gesellschaft für Mathematik und Datenverarbeitung near Bonn (1981–1988), and professor in the Computer Science departments at the University ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nissim Francez
Nissim Francez (Hebrew: נסים פרנסיז; born: 19 January 1944) is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty. Early life and education Nissim Francez was born in Bulgaria. His family emigrated to Israel in 1949. He received his B.Sc. in mathematics and philosophy from the Hebrew University, Jerusalem in 1965. After his military service in the IDF, he studied at the Department of Applied Mathematics at the Weizmann Institute, Rehovot, and received his M.sc. in 1971. He continued his studies there and received his Ph.D. degree in 1976. Francez under the supervision of Prof. Amir Pnueli. Career Francez was a research associate at Queen's University Belfast, Northern Ireland in 1976. A year later he joined the Computer Science Department of the University of Southern California (USC), as an assistant professor. In 1978 He returned to Israel as a lecturer in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henry Baker (computer Scientist)
Henry Givens Baker Jr. is an American computer scientist who has made contributions in garbage collection, functional programming languages, and linear logic. He was one of the founders of Symbolics, a company that designed and manufactured a line of Lisp machines. In 2006 he was recognized as a Distinguished Scientist by the Association for Computing Machinery. He is notable for his research in garbage collection, particularly Baker's real-time copying collector, and on the Actor model The actor model in computer science is a mathematical model of concurrent computation that treats ''actor'' as the universal primitive of concurrent computation. In response to a message it receives, an actor can: make local decisions, create mor .... Baker received his B.Sc. (1969), S.M. (1973), E.E. (1973), and Ph.D. (1978) degrees at M.I.T. The Chicken Scheme compiler was inspired by an innovative design of Baker's. Bibliography * * * * * References External links Henry Baker's Archi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irene Greif
Irene Greif is an American computer scientist and a founder of the field of computer-supported cooperative work (CSCW). She was the first woman to earn a Ph.D. in computer science from the Massachusetts Institute of Technology. Biography Greif's mother was an accountant, and a native of New York City. Greif has at least one sibling, a sister. She attended Hunter College High School before earning her undergraduate and graduate degrees from MIT. In 1975, Greif became the first woman to earn a Ph.D. in computer science from MIT; in her dissertation of that year, she published the first operational actor model. She was a professor of computer science at the University of Washington before returning to MIT as a professor of electrical engineering and computer science (1977–87). In 1984, Greif and Paul Cashman coined the term "Computer Supported Cooperative Work" and the initials, CSCW, at an interdisciplinary workshop in Cambridge, Massachusetts. Preferring research over teachi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prentice Hall
Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari Books Online e-reference service. History On October 13, 1913, law professor Charles Gerstenberg and his student Richard Ettinger founded Prentice Hall. Gerstenberg and Ettinger took their mothers' maiden names, Prentice and Hall, to name their new company. Prentice Hall became known as a publisher of trade books by authors such as Norman Vincent Peale; elementary, secondary, and college textbooks; loose-leaf information services; and professional books. Prentice Hall acquired the training provider Deltak in 1979. Prentice Hall was acquired by Gulf+Western in 1984, and became part of that company's publishing division Simon & Schuster. S&S sold several Prentice Hall subsidiaries: Deltak and Resource Systems were sold to National Education ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
History Of The Actor Model
In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation. Event orderings versus global state A fundamental challenge in defining the Actor model is that it did not provide for global states so that a computational step could not be defined as going from one global state to the next global state as had been done in all previous models of computation. In 1963 in the field of Artificial Intelligence, John McCarthy introduced situation variables in logic in the Situational Calculus. In McCarthy and Hayes 1969, a situation is defined as "the complete state of the universe at an instant of time." In this respect, the situations of McCarthy are not suitable for use in the Actor model since it has no global states. From the definition of an Actor, it can be seen that numerous events take place: local decisions, creating Actors, sending messages, receiving messages, and designating how to respond to the next message received. Partia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
History Of Denotational Semantics
History (derived ) is the systematic study and the documentation of the human activity. The time period of event before the invention of writing systems is considered prehistory. "History" is an umbrella term comprising past events as well as the memory, discovery, collection, organization, presentation, and interpretation of these events. Historians seek knowledge of the past using historical sources such as written documents, oral accounts, art and material artifacts, and ecological markers. History is not complete and still has debatable mysteries. History is also an academic discipline which uses narrative to describe, examine, question, and analyze past events, and investigate their patterns of cause and effect. Historians often debate which narrative best explains an event, as well as the significance of different causes and effects. Historians also debate the nature of history as an end in itself, as well as its usefulness to give perspective on the problems of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Actor Model
The actor model in computer science is a mathematical model of concurrent computation that treats ''actor'' as the universal primitive of concurrent computation. In response to a message it receives, an actor can: make local decisions, create more actors, send more messages, and determine how to respond to the next message received. Actors may modify their own private state, but can only affect each other indirectly through messaging (removing the need for lock-based synchronization). The actor model originated in 1973. It has been used both as a framework for a theoretical understanding of computation and as the theoretical basis for several practical implementations of concurrent systems. The relationship of the model to other work is discussed in actor model and process calculi. History According to Carl Hewitt, unlike previous models of computation, the actor model was inspired by physics, including general relativity and quantum mechanics. It was also influenced by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> History Of Denotational Semantics")